A Scalable, Loadable Custom Programmable Logic Device for Solving Boolean Satisfiability Problems

Mark J. Boyd and Tracy Larrabee

Jack Baskin School of Engineering
University of California
Santa Cruz, CA 95064
{mjboyd, larrabee}@cse.ucsc.edu

Presentation (.ppt)
Presentation (.ps)
Paper (.ps)
Announcement of advancement talk
Report of the Ph.D. advancement to candidacy committee