Arc and path consistence revisited
Artificial Intelligence
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
The family of concurrent logic programming languages
ACM Computing Surveys (CSUR)
The semantic foundations of concurrent constraint programming
POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The CLP( R ) language and system
ACM Transactions on Programming Languages and Systems (TOPLAS)
Constraint satisfaction using constraint logic programming
Artificial Intelligence - Special volume on constraint-based reasoning
A generic arc-consistency algorithm and its specializations
Artificial Intelligence
A filtering algorithm for constraints of difference in CSPs
AAAI '94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 1)
Weak-commitment search for solving constraint satisfaction problems
AAAI '94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 1)
Improved CLP scheduling with task intervals
Proceedings of the eleventh international conference on Logic programming
Constraint databases: promising technology or just intellectual exercise?
ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research
Executing suspended logic programs
Fundamenta Informaticae - Special issue on foundations of constraint programming
The OPL optimization programming language
The OPL optimization programming language
The essence of constraint propagation
Theoretical Computer Science
Constraint cascading style sheets for the Web
Proceedings of the 12th annual ACM symposium on User interface software and technology
Model-based computing: developing flexible machine control software
Artificial Intelligence - Special issue on applications of artificial intelligence
Synthesizing constraint expressions
Communications of the ACM
Logic for Problem Solving
Constraint Databases
Embedding Relaxations in Global Constraints for Solving TSP and TSPTW
Annals of Mathematics and Artificial Intelligence
Constraints
Nonsystematic Search and No-Good Learning
Journal of Automated Reasoning
Heuristics for Large Constrained Vehicle Routing Problems
Journal of Heuristics
A Hybrid Approach for Solving Large Scale Crew Scheduling Problems
PADL '00 Proceedings of the Second International Workshop on Practical Aspects of Declarative Languages
PLILP '93 Proceedings of the 5th International Symposium on Programming Language Implementation and Logic Programming
SALSA: A Language for Search Algorithms
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
A Framework for Constraint Programming Based Column Generation
CP '99 Proceedings of the 5th International Conference on Principles and Practice of Constraint Programming
CP '02 Proceedings of the 6th International Conference on Principles and Practice of Constraint Programming
Application Development with the CHIP System
Proceedings of the ESPRIT WG CONTESSA Workshop on Constraint Databases and Applications
ECP '99 Proceedings of the 5th European Conference on Planning: Recent Advances in AI Planning
Generating Semantic Descriptions From Drawings of Scenes With Shadows
Generating Semantic Descriptions From Drawings of Scenes With Shadows
A comparison of ATMS and CSP techniques
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 1
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Distributed abductive reasoning with constraints
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
Distributed abductive reasoning with constraints
DALT'10 Proceedings of the 8th international conference on Declarative agent languages and technologies VIII
| Hi-index | 0.00 |
Constraint Logic Programming (CLP) extends logic programming in two ways. Firstly it admits special predicates called constraints, which are not defined by clauses, but which are handled instead by specific constraint solvers built into the CLP system. This extension has been formalised as the CLP Scheme. Secondly CLP admits other forms of processing than backwards reasoning by unfolding, in particular constraint propagation. This extension has been formalised in terms of Information Systems. These two extensions are now widely applied in industry, in particular to large scale combinatorial optimisation problems. The success of CLP has inspired a great deal of ongoing research into algorithms (especially hybrid and incremental), languages and applications.