Howe, Jacob M. and King, Andy (2011) A Pearl on SAT Solving in Prolog (extended abstract). Logic Programming Newsletter, 2011 (3). pp. 182-196.
|The full text of this publication is not available from this repository. (Contact us about this Publication)|
Extended abstract for Association of Logic Programming (ALP) Newsletter on FLOPS/TCS special issue paper on SAT and SMT solving in Prolog.
|Uncontrolled keywords:||determinacy analysis, Craig interpolants|
|Subjects:||Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,|
|Divisions:||Faculties > Science Technology and Medical Studies > School of Computing > Programming Languages and Systems Group|
|Depositing User:||Andy King|
|Date Deposited:||21 Sep 2012 09:49|
|Last Modified:||21 Sep 2012 09:49|
|Resource URI:||http://kar.kent.ac.uk/id/eprint/30769 (The current URI for this page, for reference purposes)|
- Depositors only (login required):