dblp.uni-trier.dewww.uni-trier.de

Carmen Gervet

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

2008
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

1Pascal Van Hentenryck [10]
2Andrew Sadler [8] [11]
3Neil Yorke-Smith [6] [7] [9]

Colors in the list of coauthors

Copyright © Wed May 28 02:56:03 2008 by Michael Ley (ley@uni-trier.de)