Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 237,887,570 papers from all fields of science
Search
Sign In
Create Free Account
Constraint programming
Known as:
Babelsberg (programming language)
, Constraint programming language
, CP
Expand
In computer science, constraint programming is a programming paradigm wherein relations between variables are stated in the form of constraints…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
49 relations
AIMMS
AMPL
Algebraic modeling language
Alma-0
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Towards Completely Characterizing the Complexity of Boolean Nets Synthesis
Ronny Tredup
,
Christian Rosenke
arXiv.org
2018
Corpus ID: 47019518
Boolean nets are Petri nets that permit at most one token per place. Research has approached this important subject in many ways…
Expand
Review
2018
Review
2018
Approximating CSPs with Global Cardinality Constraints Using SDP Hierarchies
Sepehr Abbasi Zadeh
2018
Corpus ID: 85548903
This work reviews an approach for rounding constraint satisfaction problem (CSP) instances under cardinality constraints which is…
Expand
2013
2013
THE SEPARABLE CONVEX QUADRATIC KNAPSACK PROBLEM
T. Davis
,
W. Hager
,
James T. Hungerford
2013
Corpus ID: 11969131
This paper considers the problem of minimizing a convex, separable quadratic function subject to a knapsack constraint and a box…
Expand
2010
2010
A Generalized-Zero-Preserving Method for Compact Encoding of Concept Lattices
M. Skala
,
Victoria Krakovna
,
János Kramár
,
Gerald Penn
Annual Meeting of the Association for…
2010
Corpus ID: 159824
Constructing an encoding of a concept lattice using short bit vectors allows for efficient computation of join operations on the…
Expand
2010
2010
A Fuzzy Multi Objective Model for Supplier Selection
E. Mehdizadeh
2010
Corpus ID: 3003737
Supplier selection and determination of order quantities with selected suppliers is one of the most important activities in…
Expand
2007
2007
Classification Model for Access Control Constraints
Mathias Kohler
,
C. Liesegang
,
A. Schaad
IEEE International Performance, Computing, and…
2007
Corpus ID: 2972656
Whether access is given to a protected entity is decided upon evaluation of access control constraints. Though some initial…
Expand
Highly Cited
2004
Highly Cited
2004
Combining Constraint Programming and Simulated Annealing on University Exam Timetabling
T. Duong
,
K. Lam
Conference on Research, Innovation and Vision for…
2004
Corpus ID: 5381496
—In this paper, we present a solution method for examination timetabling, consisting of two phases: a constraint programming…
Expand
2002
2002
Inferring Constraint Types in Constraint Programming
D. Lesaint
International Conference on Principles and…
2002
Corpus ID: 33010334
Capturing constraint structure is critical in Constraint Programming to support the configuration and adaptation of domain…
Expand
2000
2000
Open World Planning as SCSP
A. Nareyek
,
Gmd First
2000
Corpus ID: 1971719
Planning for the real world requires the ability to sense and reason about an arbitrary number of entities and relations that are…
Expand
1991
1991
Handling Constraints and their Exceptions: An Attached Constraint Handler for Object-Oriented CAD Databases
A. Buchmann
,
R. Carrera
,
M. A. Vazquez-Galindo
On Object-Oriented Database System
1991
Corpus ID: 40316074
An attached constraint handler that can be invoked from an object-oriented CAD-DBMS is described. Constraints and their…
Expand