Building constraint solvers with HAL

DOI10.1007/3-540-45635-X_14MaRDI QIDQ4736506zbMATH OpenFDO

Authors Maria Garcia De La Banda, David Jeffery, Kim Marriott, Nicholas Nethercote, Peter J. Stuckey, Christian Holzbaur

Publication date 9 August 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2237/22370090.htm

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• To the gates of HAL: A HAL tutorial
• Program Development in Computational Logic
• A control language for designing constraint solvers
• scientific article; zbMATH DE number 1420823
• scientific article; zbMATH DE number 1337859

Cited in

(4)

• Trailing analysis for HAL
• scientific article; zbMATH DE number 1389653 (Why is no real title available?)
• Logic Programming
• Program Development in Computational Logic

This page was built for publication: Building constraint solvers with HAL

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