A case study of partially evaluated hardware circuits: Key-specific DES. - Jason Leonard; William H. Mangione-Smith (FPL, 1997)

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