| 2009 |
|---|
| 14 | EE | Neil Yorke-Smith,
Carmen Gervet:
Certainty closure: Reliable constraint reasoning with incomplete or erroneous data.
ACM Trans. Comput. Log. 10(1): (2009) |
| 2008 |
|---|
| 13 | | Pascal Van Hentenryck,
Justin Yip,
Carmen Gervet,
Grégoire Dooms:
Bound Consistency for Binary Length-Lex Set Constraints.
AAAI 2008: 375-380 |
| 12 | EE | Andrew Sadler,
Carmen Gervet:
Enhancing set constraint solvers with lexicographic bounds.
J. Heuristics 14(1): 23-67 (2008) |
| 2006 |
|---|
| 11 | | Carmen Gervet,
Pascal Van Hentenryck:
Length-Lex Ordering for Set CSPs.
AAAI 2006 |
| 10 | EE | Neil Yorke-Smith,
Carmen Gervet:
Certainty Closure: Reliable Constraint Reasoning with Incomplete or Erroneous Data
CoRR abs/cs/0601109: (2006) |
| 2004 |
|---|
| 9 | EE | Andrew Sadler,
Carmen Gervet:
Hybrid Set Domains to Strengthen Constraint Propagation and Reduce Symmetries.
CP 2004: 604-618 |
| 2003 |
|---|
| 8 | EE | Neil Yorke-Smith,
Carmen Gervet:
Certainty Closure: A Framework for Reliable Constraint Reasoning with Uncertainty.
CP 2003: 769-783 |
| 7 | EE | Carmen Gervet,
Mark Wallace:
Preface.
Annals OR 118(1-4): 13-15 (2003) |
| 2002 |
|---|
| 6 | EE | Neil Yorke-Smith,
Carmen Gervet:
On Constraint Problems with Incompleteor Erroneous Data.
CP 2002: 732-737 |
| 1998 |
|---|
| 5 | | Carmen Gervet:
Large combinatorial optimization problem methodology for hybrid models and solutions.
JFPLC 1998: 9- |
| 1997 |
|---|
| 4 | | Carmen Gervet:
Interval Propagation to Reason about Sets: Definition and Implementation of a Practical Language.
Constraints 1(3): 191-244 (1997) |
| 1995 |
|---|
| 3 | | Carmen Gervet:
Conjunto : un langage de programmation en logique avec contraintes sur domaines finis d'ensembles.
JFPLC 1995: 377-380 |
| 1994 |
|---|
| 2 | | Carmen Gervet:
Conjunto: Constraint Propagation over Set Constraints with Finite Set Domain Variables.
ICLP 1994: 733 |
| 1 | | Carmen Gervet:
Conjunto: Constraint Logic Programming with Finite Set Domains.
SLP 1994: 339-358 |
