FPGA Logic Synthesis Using Quantified Boolean Satisfiability.

Andrew C. Ling, Deshanand P. Singh, Stephen Dean Brown

Browse the full SAT paper archive.