Browse by Person (creator, editor, contributor, etc.)
Number of items: 1.
Conference or workshop item
Howe, Jacob M. and King, Andy
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.