Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 226,084,878 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.
2015
2015
Multi-cloud Application Design through Cloud Service Composition
K. Kritikos
,
D. Plexousakis
IEEE International Conference on Cloud Computing
2015
Corpus ID: 17838777
While various platforms are offering facilities for single-cloud application design, deployment and provisioning, there is a need…
Expand
Highly Cited
2009
Highly Cited
2009
Constraint‐induced language therapy for agrammatism: Role of grammaticality constraints
Yasmeen Faroqi-Shah
,
C. Virion
2009
Corpus ID: 16008442
Background: Aphasia therapy that involves a high weekly intensity, short overall duration, restriction of nonverbal communication…
Expand
2008
2008
Simultaneous Batching and Scheduling of Single Stage Batch Plants with Parallel Units
P. Castro
,
Muge Erdirik-Dogan
,
I. Grossmann
2008
Corpus ID: 14684089
This article deals with the optimal short-term scheduling of single stage batch plants with sequence-dependent changeovers…
Expand
Highly Cited
2005
Highly Cited
2005
A line up evolutionary algorithm for solving nonlinear constrained optimization problems
H. Sarimveis
,
A. Nikolakopoulos
Computers & Operations Research
2005
Corpus ID: 31267301
Highly Cited
2003
Highly Cited
2003
Similarity Metric for XML Documents
Zhongping Zhang
,
Ronglu Li
,
Shunliang Cao
,
Yangyong Zhu
2003
Corpus ID: 18724531
Since XML documents can be represented as trees, Based on traditional tree edit distance, this paper presents structural…
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
1998
1998
Concurrent Constraint Programming Based on Functional Programming (Extended Abstract)
G. Smolka
European Symposium on Programming
1998
Corpus ID: 12237693
We will show how the operational features of logic programming can be added as conservative extensions to a functional base…
Expand
Review
1995
Review
1995
Constraint Databases: A Survey
P. Revesz
Semantics in Databases
1995
Corpus ID: 17666866
Constraint databases generalize relational databases by finitely representable infinite relations. This paper surveys the state…
Expand
1994
1994
Satisfaction of input and output encoding constraints
A. Saldanha
,
T. Villa
,
R. Brayton
,
A. Sangiovanni-Vincentelli
IEEE Trans. Comput. Aided Des. Integr. Circuits…
1994
Corpus ID: 28155298
Three encoding problems relevant to the synthesis of digital circuits are input, output, and state encoding. Several encoding…
Expand
1993
1993
Boolean Constraint Solving Using clp(FD)
P. Codognet
,
Daniel Diaz
ILPS
1993
Corpus ID: 10112559
We present a boolean constraint logic language clp(B/FD) built upon a language over finite domains clp(FD) which uses a local…
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