| |
| 2008 | ||
|---|---|---|
| 3 | EE | António Morgado, João P. Marques Silva: A Pseudo-Boolean Solution to the Maximum Quartet Consistency Problem CoRR abs/0805.0202: (2008) |
| 2006 | ||
| 2 | EE | António Morgado, Paulo J. Matos, Vasco M. Manquinho, João P. Marques Silva: Counting Models in Integer Domains. SAT 2006: 410-423 |
| 2005 | ||
| 1 | EE | António Morgado, João P. Marques Silva: Good Learning and Implicit Model Enumeration. ICTAI 2005: 131-136 |
| 1 | Vasco M. Manquinho | [2] |
| 2 | Paulo J. Matos | [2] |
| 3 | João P. Marques Silva (João Marques-Silva) | [1] [2] [3] |