Carmen Gervet

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
12 Pascal Van Hentenryck, Justin Yip, Carmen Gervet, Grégoire Dooms: Bound Consistency for Binary Length-Lex Set Constraints. AAAI 2008: 375-380
11EEAndrew Sadler, Carmen Gervet: Enhancing set constraint solvers with lexicographic bounds. J. Heuristics 14(1): 23-67 (2008)
2006
10 Carmen Gervet, Pascal Van Hentenryck: Length-Lex Ordering for Set CSPs. AAAI 2006
9EENeil Yorke-Smith, Carmen Gervet: Certainty Closure: Reliable Constraint Reasoning with Incomplete or Erroneous Data CoRR abs/cs/0601109: (2006)
2004
8EEAndrew Sadler, Carmen Gervet: Hybrid Set Domains to Strengthen Constraint Propagation and Reduce Symmetries. CP 2004: 604-618
2003
7EENeil Yorke-Smith, Carmen Gervet: Certainty Closure: A Framework for Reliable Constraint Reasoning with Uncertainty. CP 2003: 769-783
2002
6EENeil 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

Coauthor Index

1Grégoire Dooms [12]
2Pascal Van Hentenryck [10] [12]
3Andrew Sadler [8] [11]
4Justin Yip (J. Y. K. Yip) [12]
5Neil Yorke-Smith [6] [7] [9]

Colors in the list of coauthors

Copyright © Wed Jan 7 16:51:24 2009 by Michael Ley (ley@uni-trier.de)