Posted ICASSP 2013 Presentation


ICASSP 2013 has accepted our paper


Brute-Force Search of Fast Convolution Algorithms1

Posted FFT for Fast Convolution Examples


Wikipedia mentions our research


JSAT published our paper


Final paper on this site or JSAT's site.

Posted updated code


This updated code will now generate SMT-LIB 2.0 QF_BV and QF_LIA benchmarks.

Posted revised paper and updated examples


Revised preprint.
Updated supporting examples.

Posted code


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.
1. Copyright 2013 IEEE. Published in the IEEE 2013 International Conference on Acoustics, Speech, and Signal Processing (ICASSP 2013), scheduled for 26-31 May 2013 in Vancouver, British Columbia, Canada. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works, must be obtained from the IEEE. Contact: Manager, Copyrights and Permissions / IEEE Service Center / 445 Hoes Lane / P.O. Box 1331 / Piscataway, NJ 08855-1331, USA. Telephone: + Intl. 908-562-3966.