City Research Online - A Pearl on SAT Solving in Prolog (extended abstract)

A Pearl on SAT Solving in Prolog (extended abstract)

Howe, J. M. & King, A. (2011). A Pearl on SAT Solving in Prolog (extended abstract). ALP Newsletter(3),

Publication Type:	Article
Subjects:	Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Departments:	School of Science & Technology > Computer Science

Preview

Text (Extended Abstract) - Accepted Version
Download (109kB) | Preview

Downloads per month over past year

Metadata

Altmetric

CORE (COnnecting REpositories)

Actions (login required)

Admin Login

Creators:	Howe, J. M. King, A.
Status:	Published
Refereed:	Yes
Journal or Publication Title:	ALP Newsletter
Publisher:	Association of Logic Programming
URI:	https://openaccess.city.ac.uk/id/eprint/12459
Date available in CRO:	17 Sep 2015 14:33
Date deposited:	26 July 2017
Dates:	Date Event 2011 Published