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),

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

Item Type: Article
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Divisions: School of Informatics > Department of Computing
URI: http://openaccess.city.ac.uk/id/eprint/12459

Actions (login required)

View Item View Item

Downloads

Downloads per month over past year

View more statistics