Models and tools for improving efficiency in constraint logic programming

DOI10.7494/DMMS.2011.5.1.69MaRDI QIDQ2911196zbMATH OpenOpenAlexWikidataFDO

Authors Antoni Ligȩza

Publication date 12 September 2012

Published in Decision Making in Manufacturing and Services (Search for Journal in Brave)

Full work available at URL https://doi.org/10.7494/dmms.2011.5.1.69

zbMATH Keywords

constraint logic programmingconstraint programmingconstraint satisfaction problem

Mathematics Subject Classification ID

Logic programming (68N17) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Recommendations

• Model-based inference in CHARME.
• Constraint programming for modelling and solving modal satisfiability
• Constraint satisfaction using constraint logic programming
• An introduction to constraint programming. Foundations, methods, languages and applications.
• Logic programming approaches for representing and solving constraint satisfaction problems: A comparison

Cited in

(2)

• Two techniques to improve finite model search
• A modeling layer for constraint-programming libraries

This page was built for publication: Models and tools for improving efficiency in constraint logic programming

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