Posted updated code
This updated code
will now generate SMT-LIB 2.0 QF_BV and QF_LIA benchmarks.
We have posted our FFTSearch code.
JSAT accepted our paper
A revised version of our paper will be posted by mid to late August.
Posted SMT-2011 presentation and code
We are presenting our research at SMT 2011
and have posted our presentation
Submitted Paper & Posted Examples
We submitted our paper to the Journal on Satisfiability, Boolean Modeling and Computation. We also posted supporting examples.