Journal Article10.1145/242224.242307
Constraint programming 2000
Joxan Jaffar,R. Yap +1 more
7
About: This article is published in ACM Computing Surveys. The article was published on 01 Dec 1996. The article focuses on the topics: Constraint programming & Constraint logic programming.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
Computing improved optimal solutions to max–min flexible constraint satisfaction problems
Didier Dubois,Philippe Fortemps +1 more
TL;DR: This paper surveys refinements of the ordering of solutions supplied by the max–min formulation, namely the discrimin partial ordering and the leximin complete preordering and gives a general algorithm which computes all maximal solutions in the sense of these relations.
158
•Journal Article
Optimization and relaxation in constraint logic languages
TL;DR: The concept of preference provides a unifying framework for formulating optimization as well as relaxation problems and is presented as truth in strongly optimal worlds, while relaxation becomes truth in suitably-defined suboptimal worlds.
27
•Book
Handbook of Parallel Constraint Reasoning
Youssef Hamadi,Lakhdar Sais +1 more
- 01 Jan 2018
TL;DR: In this article, the authors present an application of Parallel Satisfiability Solving to the Verification of Complex Embedded Systems and Parallel Constraint-Based Local Search: An Application to Designing Resilient Long-Reach Passive Optical Networks.
22
An overview of a constraint solving engine with multiple optimization algorithms
Ilija Jolevski,Suzana Loskovska,Ivan Chorbev,Dragan Mihajlov +3 more
- 20 Jun 2005
TL;DR: The theoretical and mathematical foundations of the ideas and the problem solving process are explained and among the first problems that were solved was the Traveling Salesman Problem (TSP).
5
Contract-based test generation for data flow of business processes using constraint programming
Andrés Jiménez-Ramírez,Rafael M. Gasca,Ángel Jesús Varela-Vaca +2 more
- 19 May 2011
TL;DR: In this paper, the authors propose a new business process called the automatic test-case generator to automate the generation of test cases and verify that a business process has the intended functionality (semantic conformance).
References
Constraint logic programming : A survey
Joxan Jaffar,Michael J. Maher +1 more
TL;DR: This survey of CLP is to give a systematic description of the major trends in terms of common fundamental concepts and the three main parts cover the theory, implementation issues, and programming for applications.
1.6K
•Book
Constraint satisfaction in logic programming
Pascal Van Hentenryck
- 01 Jan 1989
TL;DR: Van Hentenryck as mentioned in this paper proposes a new approach to solving discrete combinatorial problems using consistency techniques. But this approach is not suitable for many real-world problems, such as disjunctive scheduling, warehouse location, cutting stock car sequencing, and microcode labeling.
1.3K
The Oz Programming Model
Gert Smolka
- 30 Sep 1996
TL;DR: The Oz Programming Model is a concurrent programming model subsuming higher-order functional and object-oriented programming as facets of a general model and can be extended so that it can express encapsulated problem solvers generalizing the problem solving capabilities of constraint logic programming.
•Journal Article
Optimization and relaxation in constraint logic languages
TL;DR: The concept of preference provides a unifying framework for formulating optimization as well as relaxation problems and is presented as truth in strongly optimal worlds, while relaxation becomes truth in suitably-defined suboptimal worlds.
27
Optimization and relaxation in constraint logic languages
Kannan Govindarajan,Bharat Jayaraman,Surya Mantha +2 more
- 01 Jan 1996
TL;DR: In this article, preference logic programming (PLP) is extended with facilities to formulate relaxation problems in a natural manner, and the concept of a relaxation goal is introduced, and discussed its use for preference relaxation.
25
Related Papers (5)
Michela Milano
- 01 Jan 2012
Federico Barber,Miguel A. Salido +1 more
- 01 Nov 2003
F.S. de Boer,Catuscia Palamidessi +1 more
- 01 Jan 1993