| |
| 1996 | ||
|---|---|---|
| 5 | Christian Holzbaur, Francisco Menezes, Pedro Barahona: Defeasibility in CLP(Q) through Generalized Slack Variables. CP 1996: 209-223 | |
| 1995 | ||
| 4 | Francisco Menezes, Pedro Barahona: Defeasible Constraint Solving. Over-Constrained Systems 1995: 151-170 | |
| 1993 | ||
| 3 | Francisco Menezes, Pedro Barahona: Preliminary Formalization of an Incremental Hierarchical Constraint Solver. EPIA 1993: 281-296 | |
| 2 | Francisco Menezes, Pedro Barahona, Philippe Codognet: An Incremental Hierarchical Constraint Solver. PPCP 1993: 190-199 | |
| 1991 | ||
| 1 | Francisco Menezes, Pedro Barahona: Constraint Solving in Finite Domains under User Control. EPIA 1991: 17-29 | |
| 1 | Pedro Barahona | [1] [2] [3] [4] [5] |
| 2 | Philippe Codognet | [2] |
| 3 | Christian Holzbaur | [5] |