◀ Click to filter

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)

Keywords

Start Year

1999 - 2014

Type

All [off | on]
(2)
International Projects
(9)
National Projects
(1)
Internal Projects