© University of Kent - Contact | Feedback | Legal | FOI | Cookies
A Pearl on SAT Solving in Prolog (extended abstract)
Jacob M. Howe and Andy King
Logic Programming Newsletter, 2011(3):182-196, March 2011.Abstract
Extended abstract for Association of Logic Programming (ALP) Newsletter on FLOPS/TCS special issue paper on SAT and SMT solving in Prolog.
Download publication 121 kbytes (PDF)Bibtex Record
@article{3095,
author = {Jacob M. Howe and Andy King},
title = {A {P}earl on {SAT} {S}olving in {P}rolog (extended abstract)},
month = {March},
year = {2011},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2011/3095},
publication_type = {article},
submission_id = {12098_1301911170},
journal = {Logic Programming Newsletter},
volume = {2011},
number = {3},
publisher = {Association of Logic Programming},
}