Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 236,796,739 papers from all fields of science
Search
Sign In
Create Free Account
Constraint logic programming
Known as:
Constraint store
, CLP
, Finite constraint
Expand
Constraint logic programming is a form of constraint programming, in which logic programming is extended to include concepts from constraint…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
32 relations
B-Prolog
Backtracking
CHIP (programming language)
CLP(R)
Expand
Broader (2)
Constraint programming
Logic programming
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2008
2008
Secure Transmission with Multiple Antennas: The MIMOME Channel
A. Khisti
,
G. Wornell
2008
Corpus ID: 18058170
— The Gaussian wiretap channel model is studied when there are multiple antennas at the sender, the receiver and the eavesdropper…
Expand
Review
2005
Review
2005
Constraint Logic Programming B An Informal Introduction *
Thom Friihwirth
,
A. Herold
,
+4 authors
M. Wallace
2005
Corpus ID: 27545315
Abs t rac t . Constraint Logic Programming (CLP) is a new class of programming languages combining the declarativity of logic…
Expand
2004
2004
Reasoning with constraint diagrams
Gem Stapleton
2004
Corpus ID: 803992
Constraint diagrams are designed for the formal specification of software systems. However, their applications are broader than…
Expand
1998
1998
Introduction to Constraint Logic Programming
K. Marriott
,
Peter James Stuckey
1998
Corpus ID: 59684427
From the Publisher: The job of the constraint programmer is to use mathematical constraints to model real world constraints and…
Expand
1995
1995
A Reactive Constraint Logic Programming Scheme
F. Fages
,
J. Fowler
,
T. Sola
International Conference on Logic Programming
1995
Corpus ID: 5055942
In this paper we present a constraint logic programming scheme for reactive systems. A formal framework is developed to deene the…
Expand
1995
1995
Linear Equation Solving for Constraint Logic Programming
Jennifer J. Burg
,
Peter James Stuckey
,
Jason C. H. Tai
,
R. Yap
International Conference on Logic Programming
1995
Corpus ID: 33616733
Linear constraint solving in constraint logic programming requires in cremental checks of the satis ability of a system of…
Expand
1995
1995
A Reactive Constraint Logic Programming Scheme
L. Sterling
1995
Corpus ID: 64216131
In this paper we present a constraint logic programming scheme for reactive systems. A formal framework is developed to define…
Expand
1993
1993
Temporal Logic and Annotated Constraint Logic Programming
Thom W. Frühwirth
Executable Modal and Temporal Logics
1993
Corpus ID: 31345058
We introduce a family of logic programming languages for representing and reasoning about time. The family is conceptually simple…
Expand
1992
1992
Constraint monitoring in TOSCA
H. Beck
1992
Corpus ID: 10242118
The Job-Shop Scheduling Problem (JSSP) deals with the allocation of resources over time to factory operations. Allocations are…
Expand
1990
1990
Computational complexity and constraint logic programming languages
J. Cox
,
K. McAloon
,
C. Tretkoff
Annals of Mathematics and Artificial Intelligence
1990
Corpus ID: 666608
We give a complexity analysis of a variety of languages across the spectrum of the CLP scheme. By varying the logic and memory…
Expand