ACM - affordances
A. Mishchenko
R.K. Brayton
Design, Automation and Test in Europe
eigold
www-cad
A search algorithm for prepositional satisfiability, IEEE Trans
engineering an efficient SAT solver
A system for sequential circuit synthesis