POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Concurrent constraint programming
POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Concurrent constraint programming
Concurrent constraint programming
A calculus of mobile processes, I
Information and Computation
A theoretical evaluation of selected backtracking algorithms
Artificial Intelligence
Timed default concurrent constraint programming
Journal of Symbolic Computation - Special issue: executable temporal logics
Semiring-based constraint satisfaction and optimization
Journal of the ACM (JACM)
Introduction to Constraint Logic Programming
Introduction to Constraint Logic Programming
Domains for Denotational Semantics
Proceedings of the 9th Colloquium on Automata, Languages and Programming
A Temporal Concurrent Constraint Programming Calculus
CP '01 Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming
Constraint Processing
Semirings for Soft Constraint Solving and Programming (LECTURE NOTES IN COMPUTER SCIENCE)
Semirings for Soft Constraint Solving and Programming (LECTURE NOTES IN COMPUTER SCIENCE)
Soft concurrent constraint programming
ACM Transactions on Computational Logic (TOCL)
Constraint Logic Programming using Eclipse
Constraint Logic Programming using Eclipse
Handbook of Constraint Programming (Foundations of Artificial Intelligence)
Handbook of Constraint Programming (Foundations of Artificial Intelligence)
Constraint-Based Policy Negotiation and Enforcement for Telco Services
TASE '07 Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering
Semiring-based constraint logic programming
IJCAI'97 Proceedings of the 15th international joint conference on Artifical 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
CC-Pi: a constraint-based language for specifying service level agreements
ESOP'07 Proceedings of the 16th European conference on Programming
On complementary principles of object-oriented constraint programming
Programming and Computing Software
A 25-year perspective on logic programming
A combined CLP-MILP approach for scheduling commodities in a pipeline
Journal of Scheduling
| Hi-index | 0.00 |
Constraints support a programming style featuring declarative description and effective solving of several classes of problems. Unlike basic primitives of other programming languages, constraints do not specify computing operations, but rather the properties of a solution to be found. In this paper, we give a survey of the main formalisms based on constraints: Constraint Satisfaction Problems, Constraint Logic Programming and Concurrent Constraint Programming. We outline recent extensions of these approaches and we discuss ongoing trends of research.