CR-Prolog as a Specification Language for Constraint Satisfaction Problems

DOI10.1007/978-3-642-04238-6_34MaRDI QIDQ3643133zbMATH OpenOpenAlexFDO

Authors Marcello Balduccini

Publication date 10 November 2009

Published in Logic Programming and Nonmonotonic Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-04238-6_34

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic programming (68N17)

Recommendations

• Constraint satisfaction using constraint logic programming
• scientific article; zbMATH DE number 1926617
• Constraint logic programming
• cr-models: An Inference Engine for CR-Prolog
• The semantics of constraint logic programs1Note that reviewing of this paper was handled by the Editor-in-Chief.1
• scientific article; zbMATH DE number 4078850
• scientific article; zbMATH DE number 1696768
• scientific article; zbMATH DE number 970715
• Publication:4492740

Cited in

(4)

• cr-models: An Inference Engine for CR-Prolog
• Representing constraint satisfaction problems in answer set programming
• scientific article; zbMATH DE number 4078850 (Why is no real title available?)
• scientific article; zbMATH DE number 1954161 (Why is no real title available?)

Describes a project that uses

Uses Software

• ezcsp
• Clingcon

This page was built for publication: CR-Prolog as a Specification Language for Constraint Satisfaction Problems

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