Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 233,328,643 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.
2012
2012
Constraints Solving Based Hierarchical Test Generation for Synchronous Sequential Circuits. Kitsenduste lahendamisel baseeruv hierarhiline testigenereerimine sünkroonsetele järjestikskeemidele
J. Raik
2012
Corpus ID: 70137961
The paper introduces a novel constraint-based automated test pattern generator for Register-Transfer Level (RTL) designs. The…
Expand
2010
2010
A Diagnosis Algorithm for Inconsistent Constraint Sets
A. Felfernig
,
Monika Schubert
2010
Corpus ID: 18747259
Constraint sets can become inconsistent in different contexts. For example, during a configuration session the set of customer…
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
2003
2003
On the Techniques for Data Clustering with Numerical Constraints
Bi-Ru Dai
,
Cheng-Ru Lin
,
Ming-Syan Chen
SDM
2003
Corpus ID: 9999629
In this paper, the attributes employed to model the constraints are called constraint attributes and those attributes involved in…
Expand
2002
2002
Runtime Service Composition via Logic-Based Program Synthesis
S. Lämmermann
2002
Corpus ID: 60385402
Dynamic composition of services from components at runtime can help to provide flexible service infrastructures, but requires…
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
1997
1997
Regular datapaths on field programmable gate arrays
A. Koch
1997
Corpus ID: 45354245
Field-Programmable Gate Arrays (FPGAs) are a recent kind of programmable logic device. They allow the implementation of…
Expand
1997
1997
Constraint Matching Retrieval in LINDA: extending retrieval functionality and distributing query pro
D. Campbell
1997
Corpus ID: 53797469
Linda is a coordination language using generative communication via tuple spaces, which are global associative memories…
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