Skip to search formSkip to main contentSkip to account menu

Constraint logic programming

Known as: Constraint store, CLP, Finite constraint 
Constraint logic programming is a form of constraint programming, in which logic programming is extended to include concepts from constraint… 
Wikipedia (opens in a new tab)

Related topics

Related topics

32 relations
B-PrologBacktrackingCHIP (programming language)CLP(R)

Broader (2)

Constraint programmingLogic programming

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2002
Highly Cited
2002
Delay constrained energy efficient transmission strategies for wireless devices
In this paper, we address the problem of energy efficient packet scheduling in a wireless environment. We consider a wireless… 
2001
2001
Constraint resolution using optimisation techniques
1998
1998
Constraint Logic Programming over Unions of Constraint Theories
In this paper, we present an extension of the Jaffar-Lassez constraint logic programming scheme that operates with unions of… 
Review
1996
Review
1996
Japanese Sentence Processing
Contents: Preface. R. Mazuka, N. Nagai, Japanese Sentence Processing: An Interdisciplinary Approach. A. Inoue, J.D. Fodor… 
1995
1995
A Reactive Constraint Logic Programming Scheme
In this paper we present a constraint logic programming scheme for reactive systems. A formal framework is developed to deene the… 
Highly Cited
1994
Highly Cited
1994
Techniques For Crosstalk Avoidance In The Physical Design Of High-performance Digital Systems
Interconnect performance does not scale well into deep submicron dimensions, and the rising number of analog effects erodes the… 
1992
1992
Non-linear Real Constraints in Constraint Logic Programming
Dealing with non-linear constraints over real numbers is one of the most important and non-trivial problems in constraint logic… 
Review
1992
Review
1992
An Introduction to Constraint Logic Programming
  • F. Kriwaczek
  • Advanced Topics in Artificial Intelligence
  • 1992
  • Corpus ID: 21750044
This paper provides an introductory overview of Constraint Logic Programming (CLP) Languages. The first section explains the… 
Highly Cited
1991
Highly Cited
1991
Functional description of MINTO : a mixed integer optimizer
MINTO is a software system that solves mixed-integer linear programs by a branch-and-bound algorithm with linear programming… 
1990
1990
Operational Semantics of Constraint Logic Programming over Finite Domains
Although constraint logic programming (CLP) theory [7] is an elegant generalization of LP theory, it has some difficulties in… 
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)