Howe, J. M. and 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 Mathematics, Computer Science & Engineering > Computer Science
Date Deposited:	17 Sep 2015 14:33
URI:	https://openaccess.city.ac.uk/id/eprint/12459

Preview

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

Official URL: http://www.cs.nmsu.edu/ALP/2011/03/a-pearl-on-sat-...

Export

RefWorks RDF+XML BibTeX RIOXX2 XML RDF+N-Triples JSON Dublin Core Dublin Core Simple Metadata Refer METS HTML Citation ASCII Citation OpenURL ContextObject EndNote OpenURL ContextObject in Span MODS MPEG-21 DIDL EP3 XML Reference Manager RDF+N3 Multiline CSV

Downloads

Downloads per month over past year

View more statistics

Actions (login required)

Admin Login