A sat solver primer (0)

by David G Mitchell
Venue:EATCS Bulletin (The Logic in Computer Science Column