Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 228,394,725 papers from all fields of science
Search
Sign In
Create Free Account
Gecode
Gecode (for Generic Constraint Development Environment) is a software library for solving Constraint satisfaction problems. It is programmed in C…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
9 relations
AMPL
C++
Constraint satisfaction
Constraint satisfaction problem
Expand
Broader (1)
Constraint programming
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
A Decision Support System for Food Recycling based on Constraint Logic Programming and Ontological Reasoning
F. Chesani
,
Giuseppe Cota
,
E. Lamma
,
P. Mello
,
Fabrizio Riguzzi
Italian Conference on Computational Logic
2018
Corpus ID: 52882134
In 2011, FAO estimated that about one third of the total production of edible food for human consumption, gets lost or wasted…
Expand
2018
2018
A comparative analysis of constraint programming and metaheuristics for job-shop scheduling
M. Gregor
,
M. Hruboš
,
Dušan Nemec
Cybernetics & Informatics (K&I)
2018
Corpus ID: 4951048
The paper considers two kinds of optimization methods: constraint programming and metaheuristic search. It shows how each of the…
Expand
2013
2013
Compilation for QCSP
I. Stéphan
arXiv.org
2013
Corpus ID: 15019555
We propose in this article a framework for compilation of quantified constraint satisfaction problems (QCSP). We establish the…
Expand
2013
2013
Towards constraint-informed information systems
I. Rodrigues
,
Nuno Matos
,
Salvador Abreu
,
R. Deneckère
,
Daniel Diaz
Research Challenges in Information Science
2013
Corpus ID: 9088998
Declarative techniques such as Constraint Programming are very useful in modeling complex requirements. They have the added…
Expand
2011
2011
3D Interactive Objects Layout using Virtual Reality Techniques and Constraint Programming
Marouene Kefi
,
P. Richard
,
Vincent Barichard
International Conference on Computer Graphics…
2011
Corpus ID: 41201998
Virtual Reality (VR) is a promising tool for effectively visualizing and interacting with objects and 3D environments. However…
Expand
2011
2011
Performance analysis of constraint solvers for coverage directed test generation
M. P. J. George
,
O. Mohamed
ICM Proceeding
2011
Corpus ID: 30650971
Constraint random testing (CRT) is the most common verification technique used nowadays. Coverage driven constraint random test…
Expand
2009
2009
Maintaining State in Propagation Solvers
Raphael M. Reischuk
,
Christian Schulte
,
Peter James Stuckey
,
Guido Tack
International Conference on Principles and…
2009
Corpus ID: 15325204
Constraint propagation solvers interleave propagation, removing impossible values from variable domains, with search. The solver…
Expand
2009
2009
Soft Constraints for Dependable Service Oriented Architectures
Stefano Bistarelli
,
Francesco Santini
Workshop on Algorithms and Data Structures
2009
Corpus ID: 16858483
We propose the use of Soft Constraints as a natural way to model Service Oriented Architecture. In the framework, constraints are…
Expand
2009
2009
Integrating ILOG CP Technology into TOY\mathcal{TOY}
Ignacio Castiñeiras
,
F. Sáenz-Pérez
Workshop on Functional and Constraint Logic…
2009
Corpus ID: 43411017
The constraint functional logic programming system $\mathcal{TOY}$ has been using the SICStus Prolog finite domain ($\mathcal{FD…
Expand
2006
2006
Parallel Search in Gecode
M. Nielsen
2006
Corpus ID: 62684760
Constraint programming is an area of computer science which has developed rapidly over the last years. Constraint programming…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE