Mark J. Boyd Tracy Larrabee A Scalable, Loadable Custom Programmable Logic Device for Solving Boolean Satisfiability Problems. 13-21 2000 conf/fccm/2000 FCCM http://csdl.computer.org/comp/proceedings/fccm/2000/0871/00/08710013abs.htm db/conf/fccm/fccm2000.html#BoydL00