Azra Rashid, Jason Leonard, William H. Mangione-Smith: Dynamic Circuit Generation for Solving Specific Problem Instances of Boolean Satisfiability. FCCM 1998: 196-204