Constraint logic programming: a survey

1994/05/01 by Joxan Jaffar, Michael J. Maher · 11 citations
Computer Science · #Constraint Satisfaction and Optimization #Logic, Reasoning, and Knowledge #Logic, programming, and type systems

paper · doi:10.1016/0743-1066(94)90033-7

crossref issued 1994/05/01 · crossref published 1994/05/01 · crossref published-print 1994/05/01 · openalex publication_date 1994/05/01 · crossref created 2002/07/26 · crossref deposited 2024/01/02 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/02 · crossref indexed 2026/07/28

Citations

• Negation as Failure
• Graph-Based Algorithms for Boolean Function Manipulation

Cited by

• Dependent types in practical programming
• Constraint databases: A survey
• Symmetry Breaking for Answer Set Programming
• Reformulation of Global Constraints in Answer Set Programming
• Resolution versus Search: Two Strategies for SAT
• Omelets Need Onions: E-graphs Modulo Theories via Bottom-up E-matching
• Proving correctness of imperative programs by linearizing constrained Horn clauses
• Complexity and expressive power of logic programming
• Constraint satisfaction [wikipedia]
• Information algebra [wikipedia]
• Prolog [wikipedia]