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.
(Full text available)
|
![[img]](/30674/1.hassmallThumbnailVersion/flops.pdf)  Preview |
|
This list was generated on Thu Apr 19 21:41:31 2018 BST.