A Pearl on SAT Solving in Prolog.

Jacob M. Howe, Andy King

Browse the full FLOPS paper archive.