A survey of constraint-based programming paradigms

DOI10.1016/J.COSREV.2008.10.001zbMATH Open1302.68249OpenAlexW1969307923MaRDI QIDQ458465FDOQ458465

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

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

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)

Cites Work

• Handbook of constraint programming.
• Consistency in networks of relations
• Truly concurrent constraint programming
• Title not available (Why is that?)
• A calculus of mobile processes. I
• Title not available (Why is that?)
• CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements
• Title not available (Why is that?)
• Timed default concurrent constraint programming
• Computer science today. Recent trends and developments
• Networks of constraints: Fundamental properties and applications to picture processing
• Constraint Logic Programming Using ECLⁱPS^e
• Semiring-based constraint satisfaction and optimization
• Title not available (Why is that?)
• A theoretical evaluation of selected backtracking algorithms.
• Semirings for constraint solving and programming.
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Soft concurrent constraint programming

Cited In (19)

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

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)