Skip to search formSkip to main contentSkip to account menu

Gecode

Gecode (for Generic Constraint Development Environment) is a software library for solving Constraint satisfaction problems. It is programmed in C… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
In 2011, FAO estimated that about one third of the total production of edible food for human consumption, gets lost or wasted… 
2018
2018
The paper considers two kinds of optimization methods: constraint programming and metaheuristic search. It shows how each of the… 
2013
2013
We propose in this article a framework for compilation of quantified constraint satisfaction problems (QCSP). We establish the… 
2013
2013
Declarative techniques such as Constraint Programming are very useful in modeling complex requirements. They have the added… 
2011
2011
Virtual Reality (VR) is a promising tool for effectively visualizing and interacting with objects and 3D environments. However… 
2011
2011
Constraint random testing (CRT) is the most common verification technique used nowadays. Coverage driven constraint random test… 
2009
2009
Constraint propagation solvers interleave propagation, removing impossible values from variable domains, with search. The solver… 
2009
2009
We propose the use of Soft Constraints as a natural way to model Service Oriented Architecture. In the framework, constraints are… 
2009
2009
The constraint functional logic programming system $\mathcal{TOY}$ has been using the SICStus Prolog finite domain ($\mathcal{FD… 
2006
2006
Constraint programming is an area of computer science which has developed rapidly over the last years. Constraint programming…