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 programmingconstraint logic programmingconstraint satisfaction problem

Mathematics Subject Classification ID

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

• 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.
• scientific article; zbMATH DE number 1696768

Cited in

(2)

• A modeling layer for constraint-programming libraries
• scientific article; zbMATH DE number 1614704 (Why is no real title available?)

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)