CR-Prolog as a Specification Language for Constraint Satisfaction Problems

DOI10.1007/978-3-642-04238-6_34zbMath1258.68025OpenAlexW1602018908MaRDI QIDQ3643133

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)

Uses Software

• Clingcon
• ezcsp

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