About

FunSAT

Current Release
Version 1.1
March 29, 2011

Copyright
Valeria Bertacco, Andrew DeOrio and John Krzemien
Department of Electrical Engineering and Computer Science
University of Michigan

For support, comments and bug reports
E-mail: funsat-help at umich dot edu

Credits
SAT Tutorials - Eugene Goldberg
SAT instances - SATLIB

About FunSAT
Research paper: Human Computing for EDA pdf
Presentation: pdf
This work was presented at DAC 2009,
San Francisco, July 30, 2009.
Wild & Crazy Ideas presentation winner.