Azra Rashid, Jason Leonard, William H. Mangione-Smith. Dynamic Circuit Generation for Solving Specific Problem Instances of Boolean Satisfiability. In 6th IEEE Symposium on Field-Programmable Custom Computing Machines (FCCM 98), 15-17 April 1998, Napa Valley, CA, USA. pages 196, IEEE Computer Society, 1998. [doi]
Abstract is missing.