Network-based heuristics for constraint-satisfaction problems
Artificial Intelligence
Backtrack-free and backtrack-bounded search
Search in Artificial Intelligence
Tree clustering for constraint networks (research note)
Artificial Intelligence
Constraint satisfaction in logic programming
Constraint satisfaction in logic programming
Constraint logic programming languages
Communications of the ACM
Communications of the ACM
Exact solution in linear time of networks of constraints using perfect relaxation
Proceedings of the first international conference on Principles of knowledge representation and reasoning
The CLP( R ) language and system
ACM Transactions on Programming Languages and Systems (TOPLAS)
From local to global consistency
Artificial Intelligence
Partial constraint satisfaction
Artificial Intelligence - Special volume on constraint-based reasoning
Possibilistic constraint satisfaction problems or “how to handle soft constraints?”
UAI '92 Proceedings of the eighth conference on Uncertainty in Artificial Intelligence
Concurrent constraint programming
Concurrent constraint programming
Constraint logic programming: selected research
Constraint logic programming: selected research
Decomposing constraint satisfaction problems using database techniques
Artificial Intelligence
Selected papers of the 9th annual ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
An and/or-parallel implementation of AKL
New Generation Computing - Special issue on the workshop on parallel logic programming
Semiring-based constraint satisfaction and optimization
Journal of the ACM (JACM)
Closure properties of constraints
Journal of the ACM (JACM)
Programming languages for distributed applications
New Generation Computing
The OPL optimization programming language
The OPL optimization programming language
Principles and Practice of Constraint Programming - Cp97: 3rd International Conference, Cp97, Linz, Austria, October 29-November 1, 1997
Principles and Practice of Constraint Programming-CP '96: Second International Conference, CP 96, Cambridge, Ma, U. S. A., August 1996: Proceedings
Constraint Programming: Basics and Trends: 1994 Chatillon Spring School, Chantillon-Sur-Seine, France, May 16-20, 1994: Selected Papers
Principles and Practice of Constraint Programming
Principles and Practice of Constraint Programming
Foundations of Logic Programming
Foundations of Logic Programming
Constraint Programming: Strategic Directions
Constraints
Some Challenges for Constraint Programming
Constraints
Constraints in Graph Drawing Algorithms
Constraints
CP '95 Proceedings of the First International Conference on Principles and Practice of Constraint Programming
Proceedings of the 4th International Conference on Principles and Practice of Constraint Programming
CP '98 Proceedings of the 4th International Conference on Principles and Practice of Constraint Programming
Proceedings of the 5th International Conference on Principles and Practice of Constraint Programming
CP '99 Proceedings of the 5th International Conference on Principles and Practice of Constraint Programming
Over-Constrained Systems
Constraint Programming and Database Query Languages
TACS '94 Proceedings of the International Conference on Theoretical Aspects of Computer Software
PPCP '94 Proceedings of the Second International Workshop on Principles and Practice of Constraint Programming
Oz Explorer: A Visual Constraint Programming Tool
PLILP '96 Proceedings of the 8th International Symposium on Programming Languages: Implementations, Logics, and Programs
An Algebraic Characterization of Tractable Constraints
COCOON '95 Proceedings of the First Annual International Conference on Computing and Combinatorics
Manipulating Spatial Data in Constraint Databases
SSD '97 Proceedings of the 5th International Symposium on Advances in Spatial Databases
Asynchronous Weak-commitment Search for Solving Distributed Constraint Satisfaction Problems
CP '95 Proceedings of the First International Conference on Principles and Practice of Constraint Programming
CP '95 Proceedings of the First International Conference on Principles and Practice of Constraint Programming
Modelling Producer/Consumer Constraints
CP '95 Proceedings of the First International Conference on Principles and Practice of Constraint Programming
Safe Stratified Datalog with Integer Order Programs
CP '95 Proceedings of the First International Conference on Principles and Practice of Constraint Programming
Fuzzifying the Constraint Hierarchies Framework
CP '98 Proceedings of the 4th International Conference on Principles and Practice of Constraint Programming
CP '98 Proceedings of the 4th International Conference on Principles and Practice of Constraint Programming
Using Constraint Programming and Local Search Methods to Solve Vehicle Routing Problems
CP '98 Proceedings of the 4th International Conference on Principles and Practice of Constraint Programming
Constraint Techniques for Solving the Protein Structure Prediction Problem
CP '98 Proceedings of the 4th International Conference on Principles and Practice of Constraint Programming
Random Constraint Satisfaction: Theory Meets Practice
CP '98 Proceedings of the 4th International Conference on Principles and Practice of Constraint Programming
Consistency Techniques in Ordinary Differential Equations
CP '98 Proceedings of the 4th International Conference on Principles and Practice of Constraint Programming
The Dynamics of Dynamic Variable Ordering Heuristics
CP '98 Proceedings of the 4th International Conference on Principles and Practice of Constraint Programming
A Generic Model and Hybrid Algorithm for Hoist Scheduling Problems
CP '98 Proceedings of the 4th International Conference on Principles and Practice of Constraint Programming
Suggestion Strategies for Constraint-Based Matchmaker Agents
CP '98 Proceedings of the 4th International Conference on Principles and Practice of Constraint Programming
Global Constraints for Partial CSPs: A Case-Study of Resource and Due Date Constraints
CP '98 Proceedings of the 4th International Conference on Principles and Practice of Constraint Programming
Using Graph Decomposition for Solving Continuous CSPs
CP '98 Proceedings of the 4th International Conference on Principles and Practice of Constraint Programming
A Note on Partial Consistencies over Continuous Domains
CP '98 Proceedings of the 4th International Conference on Principles and Practice of Constraint Programming
Anytime Lower Bounds for Constraint Violation Minimization Problems
CP '98 Proceedings of the 4th International Conference on Principles and Practice of Constraint Programming
Safe Datalog Queries with Linear Constraints
CP '98 Proceedings of the 4th International Conference on Principles and Practice of Constraint Programming
Compiling Semiring-Based Constraints with clp (FD, S)
CP '98 Proceedings of the 4th International Conference on Principles and Practice of Constraint Programming
A Tableau Based Constraint Solving Toolkit for Interactive Graphical Applications
CP '98 Proceedings of the 4th International Conference on Principles and Practice of Constraint Programming
Stable Solutions for Dynamic Constraint Satisfaction Problems
CP '98 Proceedings of the 4th International Conference on Principles and Practice of Constraint Programming
A Foundation for Higher-order Concurrent Constraint Programming
CCL '94 Proceedings of the First International Conference on Constraints in Computational Logics
Towards the Definition of a Spatial Object-Oriented Data Model with Constraints
Proceedings of the ESPRIT WG CONTESSA Workshop on Constraint Databases and Applications
DEDALE, A Spatial Constraint Database
DBLP-6 Proceedings of the 6th International Workshop on Database Programming Languages
A Unifying Framework for Tractable Constraints
CP '95 Proceedings of the First International Conference on Principles and Practice of Constraint Programming
Numerica: a modeling language for global optimization
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
Oz: a programming language for multi-agent systems
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Semiring-based constraint logic programming
IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
A comparison of structural CSP decomposition methods
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
The difference all-difference makes
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
The symmetric alldiff constraint
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Constraint solving over semirings
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Valued constraint satisfaction problems: hard and easy problems
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Where the really hard problems are
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Heterogeneous Scheduling and Rotation
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Optimal Models of Disjunctive Logic Programs: Semantics, Complexity, and Computation
IEEE Transactions on Knowledge and Data Engineering
Algorithm engineering: bridging the gap between algorithm theory and practice
Algorithm engineering: bridging the gap between algorithm theory and practice
Hi-index | 0.00 |
Constraint logic programming (CLP) is a multidisciplinary research area which can be located between Artificial Intelligence, Operation Research, and Programming Languages, and has to do with modeling, solving, and programming real-life problems which can be described as a set of statements (the constraints) which describe some relationship between the problem's variables. This survey paper gives a brief introduction to C(L)P, presents a (necessarily partial) state of the art in CLP research and applications, points out some promising directions for future applications, and discusses how to cope with current research challenges.