A simple and efficient Boolean solver for constraint logic programming

DOI10.1007/BF00247670zbMath0870.68038OpenAlexW2061373658MaRDI QIDQ1357667

Philippe Codognet, Daniel Diaz

Publication date: 20 July 1997

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00247670

zbMATH Keywords

constraint logic programmingconsistency techniqueslocal propagation methods

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (1)

The Boolean Constraint Solver of SWI-Prolog (System Description)

This page was built for publication: A simple and efficient Boolean solver for constraint logic programming