A pearl on SAT solving in Prolog

Howe, J. M. & King, A. (2010). A pearl on SAT solving in Prolog. In: International Symposium on Functional and Logic Programming, pages 165-174. Lecture Notes in Computer Science (6009). . Springer.

[img]
Preview
PDF - Submitted Version
Download (147kB) | Preview

Abstract

A succinct SAT solver is presented that exploits the control provided by delay declarations to implement watched literals and unit propagation. Despite its brevity the solver is surprisingly powerful and its elegant use of Prolog constructs is presented as a programming pearl.

Item Type: Book Section
Additional Information: Presented at 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. The original publication is available at www.springerlink.com
Subjects: Q Science > QA Mathematics > QA76 Computer software
Divisions: School of Informatics > Department of Computing
URI: http://openaccess.city.ac.uk/id/eprint/1699

Actions (login required)

View Item View Item

Downloads

Downloads per month over past year

View more statistics