City Research Online - A pearl on SAT solving in Prolog

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. doi: 10.1007/978-3-642-12251-4_13

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.

Publication 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
Departments:	School of Science & Technology > Computer Science

Preview

PDF - Submitted Version
Download (147kB) | Preview

Export

Downloads

Downloads per month over past year

View more statistics

Metadata

Altmetric

CORE (COnnecting REpositories)

Actions (login required)

Admin Login

Creators:	Howe, J. M. King, A.
Event Type:	Conference
Status:	Published
Refereed:	Yes
Journal or Publication Title:	Lecture Notes in Computer Science
Publisher:	Springer
ISSN:	0302-9743
URI:	https://openaccess.city.ac.uk/id/eprint/1699
Date available in CRO:	24 Oct 2012 09:06
Dates:	Date Event 2010 Published