Skip to search formSkip to main contentSkip to account menu

JaCoP (solver)

JaCoP is a constraint solver for constraint satisfaction problems. It is written in Java and it is provided as a Java library. JaCoP has an interface… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2019
2019
We consider an employee scheduling problem where many casual employees have to be assigned to shifts defined by the requirement… 
2015
2015
MiniZinc [5, 7] is a high-level declarative modeling language that has become quite popular in the lastfew years. One of the main… 
2013
2013
Constraint propagation is at the heart of constraint solvers. Two main trends co-exist: variable-oriented propagation engines and… 
2010
2010
2008
2008
“Are my two proteins of interest at the same location?” Here is a question regularly asked... but rarely answered with precision… 
2008
2008
An algorithm for partitioning parameterized 45-degree polygons into parameterized trapezoids is proposed in this article. The… 
2005
2005
This paper presents a novel method to generate optimized architecture of hardware processes implemented on "system on a…