Ongoing and Past Research Projects

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.

• 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).