A survey of constraint-based programming paradigms

DOI10.1016/J.COSREV.2008.10.001MaRDI QIDQ458465zbMATH OpenOpenAlexFDO

Authors Maria Grazia Buscemi, Ugo Montanari

Publication date 7 October 2014

Published in Computer Science Review (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.cosrev.2008.10.001

zbMATH Keywords

constraint satisfaction problemsconstraint logic programmingconcurrent constraint programming

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic programming (68N17) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• scientific article; zbMATH DE number 879003
• Algorithms and Constraint Programming
• From LP to LP: Programming with constraints
• scientific article; zbMATH DE number 1045433
• scientific article; zbMATH DE number 1926617

Cites work

• scientific article; zbMATH DE number 6017835 (Why is no real title available?)
• scientific article; zbMATH DE number 3780545 (Why is no real title available?)
• scientific article; zbMATH DE number 1322793 (Why is no real title available?)
• scientific article; zbMATH DE number 1312992 (Why is no real title available?)
• scientific article; zbMATH DE number 1163636 (Why is no real title available?)
• scientific article; zbMATH DE number 2084713 (Why is no real title available?)
• scientific article; zbMATH DE number 3339390 (Why is no real title available?)
• A calculus of mobile processes. I
• A theoretical evaluation of selected backtracking algorithms.
• CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements
• Computer science today. Recent trends and developments
• Consistency in networks of relations
• Constraint Logic Programming Using ECLⁱPS^e
• Handbook of constraint programming.
• Networks of constraints: Fundamental properties and applications to picture processing
• Semiring-based constraint satisfaction and optimization
• Semirings for constraint solving and programming.
• Soft concurrent constraint programming
• Timed default concurrent constraint programming
• Truly concurrent constraint programming

Cited in

(19)

• scientific article; zbMATH DE number 2087249 (Why is no real title available?)
• scientific article; zbMATH DE number 2102055 (Why is no real title available?)
• Some challenges for constraint programming
• Towards a constraint-based engineering framework for algorithm design and application
• Programming constraint services. High-level programming of standard and new constraint services
• scientific article; zbMATH DE number 1406241 (Why is no real title available?)
• A complete validation method based on constraints.
• A new branch-and-filter exact algorithm for binary constraint satisfaction problems
• A perspective of constraint-based reasoning. An introductory tutorial
• Constraint programming in computational linguistics
• Design for AJACS, yet another Java constraint programming framework
• The virtuality of constraints and the constraints of virtuality
• scientific article; zbMATH DE number 2177630 (Why is no real title available?)
• Monadic constraint programming
• A hybrid method for modeling and solving supply chain optimization problems with soft and logical constraints
• scientific article; zbMATH DE number 1688809 (Why is no real title available?)
• A methodological view of constraint solving
• Principles of constraint systems and constraint solvers
• A combined CLP-MILP approach for scheduling commodities in a pipeline

Describes a project that uses

Uses Software

• Oz
• CC-Pi

This page was built for publication: A survey of constraint-based programming paradigms

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q458465)