City, University of London Library

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

    Publication Type: Article
    Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
    Departments: School of Science & Technology > Department of Computer Science
    [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

    Metadata
    CORE (COnnecting REpositories)
    Actions (login required)

    Actions (login required)

    Admin Login Admin Login