Browse by Journal
Jump to: Book section
Number of items: 1.
Book section
Howe, Jacob M. and King, Andy (2010) A Pearl on SAT Solving in Prolog. In: Blume, Matthias and Vidal, German, eds. Functional and Logic Programming. Lecture Notes in Computer Science . Springer-Verlag, pp. 182-196. ISBN 978-3-642-12250-7. (doi:10.1007/978-3-642-12251-4_13) (KAR id:30674) |