Ongoing and Past Research Projects
This page contains brief descriptions of projects in which I have been the principal investigator at INESC-ID. Contact me for additional details.
International Projects
- TransEDA-funded project (from September 2004 until August 2005), for developing new SAT-based model checking algorithms.
- TransEDA-funded project (from September 2003 until August 2004), for developing new SAT-based model checking algorithms.
- TNI-Valiosys funded project (from September 2002 until August 2003), for developing new algorithms for Boolean Satisfiability.
- SYMBAD research project (from March 2002 until June 2004), funded by the European Commission under the 5th Framework Programme. INESC-ID developed new SAT algorithms and a SAT-based model checker.
- Valiosys-funded project (from March 2001 until September 2002), for developing circuit-aware algorithms for SAT.
- IBM research grant (from November 2000 until October 2001), supporting research on SAT algorithms.
- Cadence European Labs (from March 1996 until December 2003), funded by Cadence Design Systems.
National Projects (funded by FCT)
- SATPot project (from March 2005 until December 2007), on new algorithms for Boolean Satisfiability, extensions and applications.
- Practic project (from January 2003 until December 2005), on exploiting synergies between the Boolean satisfiability and the CSP domains.
- Adept project (from January 2002 until June 2005), on developing adaptive algorithms for SAT and pseudo-Boolean optimization.
- Quest project (from January 2000 until December 2002), on developing and implementing new techniques for SAT.
- Opti-Test project (from October 1999 until December 2001), on developing new models and algorithms for optimization problems in digital system testing.
- Grasp project (from December 1996 until June 2000), for developing new algorithms for SAT (including the GRASP SAT solver) and for pseudo-Boolean optimization (including the first version of the BSOLO solver).
Joao Marques Silva