Total displayed: 12
Order by:
- - SAT, Instituto Superior Técnico, Universidade de Lisboa, TransEDA, (2002-2004)
- - SYMBAD, TNI-Valiosys, European Commission - 5th Framework Program, (2002-2004)
- eTEAM - Electronic Timetable Equipment and Staff Management, SISCOG, QREN, (2014-2015)
- POLARIS - POLynomial hierARchy algorIthms and applicationS, INESC-ID Lisboa, FCT, (2012-2015)
- ASPEN - Answer Set Programming with Boolean Satisfiability, INESC-ID Lisboa, FCT, (2011-2014)
- ATTEST - AlgoriThms and Tolls for reasoning about dEpendable SysTems, INESC-ID Lisboa, FCT, (2010-2013)
- BSOLO - BSOLO - Satisfação e optimização com restrições Booleanas, INESC-ID Lisboa, FCT, (2008-2011)
- SATPot: Algoritmos de satisfação, aplicações e ext - SATPOT, INESC-ID Lisboa, FCT, (2005-2008)
- - PRACTIC, Universidade Nova de Lisboa, FCT, (2004-2006)
- - ADEPT, INESC-ID Lisboa, FCT, (2001-2005)
- - TGV - Techniques for Global Functional Verification of Complex Digital Systems, INESC-ID Lisboa, FCT, (1999-2003)
- Sat-based Haplotype Inference by Pure Parsimony - SHIPs, INESC-ID Lisboa, INESC-ID, (2006-2007)