An introduction to thinking declaratively and Boolean Satisfactionhttp://kmkeen.com/sat/?1 by keenerd • 12 years ago 1 0 12 years agoKMkmkeen.com