WRL Research Report 90/1 (1989)

by Tracy Larrabee
Venue:and Superpipelined Machines.’’ Boolean Satisfiablilty