CR-Prolog as a Specification Language for Constraint Satisfaction Problems

DOI10.1007/978-3-642-04238-6_34zbMATH Open1258.68025OpenAlexW1602018908MaRDI QIDQ3643133FDOQ3643133

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

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

Mathematics Subject Classification ID

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

Cited In (4)

• cr-models: An Inference Engine for CR-Prolog
• Representing constraint satisfaction problems in answer set programming
• Title not available (Why is that?)
• Title not available (Why is that?)

Uses Software

• Clingcon
• ezcsp

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)