Number of items: 1.
Conference or workshop item
|
Howe, Jacob M. and King, Andy
(2010)
A Pearl on SAT Solving in Prolog.
In: Tenth International Symposium on Functional and Logic Programming.
The full text of this publication is not available from this repository.
|
|
This list was generated on Wed May 22 02:03:11 2013 BST.
