Carmen Gervet
Title
Cited by
Cited by
Year
Interval propagation to reason about sets: Definition and implementation of a practical language
C Gervet
Constraints 1 (3), 191-244, 1997
2511997
Conjunto: constraint logic programming with finite set domains
C Gervet
ILPS, 1994
1041994
Length-lex ordering for set csps
C Gervet, P Van Hentenryck
AAAI, 48-53, 2006
362006
Hybrid set domains to strengthen constraint propagation and reduce symmetries
A Sadler, C Gervet
International Conference on Principles and Practice of Constraint …, 2004
362004
Global reasoning on sets
A Sadler, C Gervet
Proc. of Workshop on Modelling and Problem Formulation (FORMUL’01), 2001
322001
Certainty Closure
N Yorke-Smith, C Gervet
International Conference on Principles and Practice of Constraint …, 2003
312003
Enhancing set constraint solvers with lexicographic bounds
A Sadler, C Gervet
Journal of Heuristics 14 (1), 23-67, 2008
292008
Constraints over structured domains
C Gervet
Foundations of Artificial Intelligence 2, 605-638, 2006
292006
On refining ill-defined constraint problems: A case study in iterative prototyping
C Gervet, Y Caseau, D Montaut
PACLP Practical Applications of Constraint Logic Programming, 1999
211999
Certainty closure: Reliable constraint reasoning with incomplete or erroneous data
N Yorke-Smith, C Gervet
ACM Transactions on Computational Logic (TOCL) 10 (1), 1-41, 2009
182009
Set Intervals in Constraint Logic Programming: Definition and implementation of a language
C Gervet
Université de Franche Comté Besançon, 1995
181995
New structures of symbolic constraint objects: sets and graphs
C Gervet
181993
Large combinatorial optimization problem methodology for hybrid models and solutions.
C Gervet
JFPLC, 9-, 1998
171998
Conjunto: Constraint propagation over set constraints with finite set domain variables
C Gervet
Proceedings of the eleventh international conference on Logic programming, 733, 1994
161994
Bound Consistency for Binary Length-Lex Set Constraints.
P Van Hentenryck, J Yip, C Gervet, G Dooms
AAAI, 375-380, 2008
152008
ECL i PS e Constraint Library Manual
P Brisset, H El Sakkout, T Frühwirth, C Gervet, W Harvey, M Meier, ...
122013
Constraint reasoning with uncertain data using CDF-Intervals
A Saad, C Gervet, S Abdennadher
International Conference on Integration of Artificial Intelligence (AI) and …, 2010
122010
Constraints over Structured Domains In Rossi, F. van Beek, P., and Walsh, T.(Eds.), Handbook of Constraint Programming
C Gervet
Elsevier, 2006
112006
Spatial asymmetries in connectivity influence colonization− extinction dynamics
MA Acevedo, RJ Fletcher, RL Tremblay, EJ Melendez-Ackerman
Oecologia 179 (2), 415-424, 2015
92015
Large scale combinatorial optimization: A methodological viewpoint
C Gervet
DIMACS series in discrete mathematics and theoretical computer science 57 …, 2001
92001
The system can't perform the operation now. Try again later.
Articles 1–20