City Research Online

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

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

Export

Add to AnyAdd to TwitterAdd to FacebookAdd to LinkedinAdd to PinterestAdd to Email

Downloads

Downloads per month over past year

View more statistics

Actions (login required)

Admin Login Admin Login