| 2008 |
|---|
| 14 | EE | Ruben Duarte Viegas,
Marco Correia,
Pedro Barahona,
Francisco Azevedo:
Using Indexed Finite Set Variables for Set Bounds Propagation.
IBERAMIA 2008: 73-82 |
| 2007 |
|---|
| 13 | | Francisco Azevedo,
Pedro Barahona,
François Fages,
Francesca Rossi:
Recent Advances in Constraints, 11th Annual ERCIM International Workshop on Constraint Solving and Contraint Logic Programming, CSCLP 2006, Caparica, Portugal, June 26-28, 2006, Revised Selected and Invited Papers
Springer 2007 |
| 12 | EE | Ruben Duarte Viegas,
Francisco Azevedo:
GRASPER.
EPIA Workshops 2007: 633-644 |
| 11 | EE | Francisco Azevedo:
Cardinal: A Finite Sets Constraint Solver.
Constraints 12(1): 93-129 (2007) |
| 10 | EE | Francisco Azevedo:
Maxx: Test Pattern Optimisation with Local Search Over an Extended Logic.
Constraints 12(4): 507-538 (2007) |
| 2006 |
|---|
| 9 | EE | Francisco Azevedo:
An Attempt to Dynamically Break Symmetries in the Social Golfers Problem.
CSCLP 2006: 33-47 |
| 2005 |
|---|
| 8 | EE | Gil Loureiro,
Francisco Azevedo:
Constrained XSL formatting objects for adaptive documents.
ACM Symposium on Document Engineering 2005: 95-97 |
| 7 | EE | Nuno C. Marques,
Francisco Azevedo,
Carmen Morgado,
Jorge F. Custódio:
Using Octave to introduce programming to technical science students.
ITiCSE 2005: 198-202 |
| 2004 |
|---|
| 6 | | José Júlio Alferes,
Francisco Azevedo,
Pedro Barahona,
Carlos Viegas Damásio,
Terrance Swift:
Deductive Diagnosis of Digital Circuits.
AIAI 2004: 155-166 |
| 2003 |
|---|
| 5 | EE | Francisco Azevedo:
Thesis: Constraint solving over multi-valued logics - application to digital circuits.
AI Commun. 16(2): 125-127 (2003) |
| 2001 |
|---|
| 4 | EE | Francisco Azevedo,
Pedro Barahona:
Interaction of Constraint Programming and Local Search for Optimisation Problems.
CP 2001: 554-559 |
| 2000 |
|---|
| 3 | EE | Francisco Azevedo,
Pedro Barahona:
Modelling Digital Circuits Problems with Set Constraints.
Computational Logic 2000: 414-428 |
| 2 | | Francisco Azevedo,
Pedro Barahona:
Differentiating Diagnosis Theories through Constaints over an Eight-valued Logic.
ECAI 2000: 73-77 |
| 1998 |
|---|
| 1 | EE | Francisco Azevedo,
Pedro Barahona:
Generation of Test Patterns for Differential Diagnosis of Digital Circuits.
CP 1998: 462 |
