JSAT published our paper
12/6/2011
Final paper on this site or JSAT's site.
Posted updated code
8/31/2011
This updated code will now generate SMT-LIB 2.0 QF_BV and QF_LIA benchmarks.
Posted code
7/13/2011
We have posted our FFTSearch code.
JSAT accepted our paper
7/11/2011
A revised version of our paper will be posted by mid to late August.
Posted SMT-2011 presentation and code
7/11/2011
We are presenting our research at SMT 2011 and have posted our presentation.
Submitted Paper & Posted Examples
3/28/2011
We submitted our paper to the Journal on Satisfiability, Boolean Modeling and Computation. We also posted supporting examples.
