Suivre
Carmen Gervet
Titre
Citée par
Citée par
Année
Interval propagation to reason about sets: Definition and implementation of a practical language
C Gervet
Constraints 1 (3), 191-244, 1997
2661997
Conjunto: constraint logic programming with finite set domains
C Gervet
ILPS, 1994
1061994
Length-lex ordering for set csps
C Gervet, P Van Hentenryck
AAAI, 48-53, 2006
402006
An integrated GIS and robust optimization framework for solar PV plant planning scenarios at utility scale
B Pillot, N Al-Kurdi, C Gervet, L Linguet
Applied Energy 260, 114257, 2020
372020
Hybrid set domains to strengthen constraint propagation and reduce symmetries
A Sadler, C Gervet
International Conference on Principles and Practice of Constraint …, 2004
372004
Constraints over structured domains
C Gervet
Foundations of Artificial Intelligence 2, 605-638, 2006
332006
Certainty closure
N Yorke-Smith, C Gervet
International Conference on Principles and Practice of Constraint …, 2003
332003
Global reasoning on sets
A Sadler, C Gervet
Proc. of Workshop on Modelling and Problem Formulation (FORMUL’01), 2001
322001
Enhancing set constraint solvers with lexicographic bounds
A Sadler, C Gervet
Journal of Heuristics 14 (1), 23-67, 2008
282008
ECLiPSe 3.5-ECRC Common Logic Programming System-Extensions User Manual
P Brisset, T Fruehwirth, C Gervet, P Lim, M Meier, T Le Provost, J Schimpf, ...
251995
Set Intervals in Constraint Logic Programming: Definition and implementation of a language
C Gervet
Université de Franche Comté Besançon, 1995
231995
New structures of symbolic constraint objects: sets and graphs
C Gervet
211993
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
191999
Conjunto: Constraint propagation over set constraints with finite set domain variables
C Gervet
Proceedings of the eleventh international conference on Logic programming, 733, 1994
181994
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
172009
Large combinatorial optimization problem methodology for hybrid models and solutions.
C Gervet
JFPLC, 9-, 1998
171998
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, ...
142013
Constraint reasoning with uncertain data using cdf-intervals
A Saad, C Gervet, S Abdennadher
International Conference on Integration of Artificial Intelligence (AI) and …, 2010
142010
From global action against malaria to local issues: state of the art and perspectives of web platforms dealing with malaria information
D Briand, E Roux, JC Desconnets, C Gervet, C Barcellos
Malaria journal 17 (1), 1-13, 2018
102018
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20