| 2008 |
|---|
| 75 | EE | Frédéric Lardeux,
Eric Monfroy,
Frédéric Saubion:
Interleaved Alldifferent Constraints: CSP vs. SAT Approaches.
AIMSA 2008: 380-384 |
| 74 | EE | Eric Monfroy,
Frédéric Saubion,
Broderick Crawford,
Carlos Castro:
A Theoretical Framework for Local Search Techniques.
CSE 2008: 335-342 |
| 73 | | Eric Monfroy,
Frédéric Saubion,
Broderick Crawford,
Carlos Castro:
Local Search as a Fixed Point of Functions.
ICEIS (2) 2008: 431-434 |
| 72 | | Broderick Crawford,
Carlos Castro,
Eric Monfroy:
Constraint Programming Can Help Ants Solving Highly Constrainted Combinatorial Problems.
ICSOFT (PL/DPS/KE) 2008: 380-383 |
| 71 | EE | Eric Monfroy,
Olivier Perrin,
Christophe Ringeissen:
Dynamic Web Services Provisioning with Constraints.
OTM Conferences (1) 2008: 26-43 |
| 2007 |
|---|
| 70 | EE | Broderick Crawford,
Carlos Castro,
Eric Monfroy,
Claudio Cubillos:
Decomposition Approach to Solve Dial-a-Ride Problems Using Ant Computing and Constraint Programming.
BVAI 2007: 448-457 |
| 69 | EE | Broderick Crawford,
Carlos Castro,
Eric Monfroy:
Knowledge Management in the Development of Optimization Algorithms.
HCI (8) 2007: 604-612 |
| 68 | EE | Carlos Castro,
Broderick Crawford,
Eric Monfroy:
A Quantitative Approach for the Design of Academic Curricula.
HCI (9) 2007: 279-288 |
| 67 | | Broderick Crawford,
Carlos Castro,
Eric Monfroy:
Development of Algorithms to Solve Combinatorial Problems.
ICEIS (3) 2007: 636-639 |
| 66 | EE | Broderick Crawford,
Carlos Castro,
Eric Monfroy:
Solving Dial-a-Ride Problems with a Low-Level Hybridization of Ants and Constraint Programming.
IWINAC (2) 2007: 317-327 |
| 65 | EE | Broderick Crawford,
Carlos Castro,
Eric Monfroy:
Integration of Constraint Programming and Metaheuristics.
SARA 2007: 397-398 |
| 2006 |
|---|
| 64 | EE | Broderick Crawford,
Carlos Castro,
Eric Monfroy:
Knowledge Management in Different Software Development Approaches.
ADVIS 2006: 304-313 |
| 63 | EE | Eric Monfroy,
Carlos Castro,
Broderick Crawford:
Adaptive Enumeration Strategies and Metabacktracks for Constraint Solving.
ADVIS 2006: 354-363 |
| 62 | EE | Broderick Crawford,
Carlos Castro,
Eric Monfroy:
A Constructive Hybrid Algorithm for Crew Pairing Optimization.
AIMSA 2006: 45-55 |
| 61 | EE | Eric Monfroy,
Carlos Castro,
Broderick Crawford:
Using Local Search for Guiding Enumeration in Constraint Solving.
AIMSA 2006: 56-65 |
| 60 | EE | Tony Lambert,
Carlos Castro,
Eric Monfroy,
Frédéric Saubion:
Solving the Balanced Academic Curriculum Problem with an Hybridization of Genetic Algorithm and Constraint Propagation.
ICAISC 2006: 410-419 |
| 59 | EE | Tony Lambert,
Eric Monfroy,
Frédéric Saubion:
A Generic Framework for Local Search: Application to the Sudoku Problem.
International Conference on Computational Science (1) 2006: 641-648 |
| 58 | EE | Broderick Crawford,
Carlos Castro,
Eric Monfroy:
A Hybrid Ant Algorithm for the Airline Crew Pairing Problem.
MICAI 2006: 381-391 |
| 57 | EE | Stefano Bistarelli,
Eric Monfroy,
Barry O'Sullivan:
Special track editorial: constraint solving and programming.
SAC 2006: 392-393 |
| 2005 |
|---|
| 56 | EE | Eric Monfroy,
Frédéric Saubion,
Tony Lambert:
Hybrid CSP Solving.
FroCos 2005: 138-167 |
| 55 | EE | Tony Lambert,
Carlos Castro,
Eric Monfroy,
María-Cristina Riff,
Frédéric Saubion:
Hybridization of Genetic Algorithms and Constraint Propagation for the BACP.
ICLP 2005: 421-423 |
| 54 | EE | Carlos Castro,
Eric Monfroy,
Christian Figueroa,
Rafael Meneses:
An Approach for Dynamic Split Strategies in Constraint Solving.
MICAI 2005: 162-174 |
| 53 | EE | Stefano Bistarelli,
Eric Monfroy,
Barry O'Sullivan:
Editorial: special track on constraint solving and programming.
SAC 2005: 364-365 |
| 52 | EE | Tony Lambert,
Eric Monfroy,
Frédéric Saubion:
Solving strategies using a hybridization model for local search and constraint propagation.
SAC 2005: 398-403 |
| 2004 |
|---|
| 51 | EE | Eric Monfroy,
Carlos Castro:
A Component Language for Hybrid Solver Cooperations.
ADVIS 2004: 192-202 |
| 50 | EE | Carlos Castro,
Eric Monfroy:
Designing Hybrid Cooperations with a Component Language for Solving Optimisation Problems.
AIMSA 2004: 447-458 |
| 49 | EE | Eric Monfroy,
Frédéric Saubion,
Tony Lambert:
On Hybridization of Local Search and Constraint Propagation.
ICLP 2004: 299-313 |
| 48 | | Hervé Deleau,
Tony Lambert,
Eric Monfroy,
Frédéric Saubion:
Itérations chaotiques pour l'hybridation propagation de contraintes/recherche locale.
JFPLC 2004 |
| 47 | | Eric Monfroy:
Book review: Essentials of Constraint Programming by Thom Frühwirth and Slim Abdennadher, Springer, 2003, hard cover: ISBN 3-540-67623-6, ix + 145 pages.
TPLP 4(3): 381-382 (2004) |
| 2003 |
|---|
| 46 | EE | Carlos Castro,
Eric Monfroy,
Christophe Ringeissen:
A Rule Language for Interaction.
CSCLP 2003: 154-170 |
| 45 | EE | Brice Pajot,
Eric Monfroy:
Separating Search and Strategy in Solver Cooperations.
Ershov Memorial Conference 2003: 401-414 |
| 44 | EE | Laurent Granvilliers,
Eric Monfroy:
Implementing Constraint Propagation by Composition of Reductions.
ICLP 2003: 300-314 |
| 43 | | Lucas Bordeaux,
Eric Monfroy:
Extraction de programmes à partir de spécifications en logique existentielle du second ordre par compilation de connaissances.
JFPLC 2003: 189-202 |
| 42 | | Eric Monfroy,
Carlos Castro:
Basic Components for Constraint Solver Cooperations.
SAC 2003: 367-374 |
| 41 | EE | Evgueni Petrov,
Eric Monfroy:
Constraint-based analysis of composite solvers
CoRR cs.AI/0302036: (2003) |
| 40 | EE | Sebastian Brand,
Eric Monfroy:
Deductive Generation of Constraint Propagation Rules.
Electr. Notes Theor. Comput. Sci. 86(2): (2003) |
| 39 | EE | Lucas Bordeaux,
Eric Monfroy:
Extraction de programmes à partir de spécifications en logique existentielle du second ordre par compilation de connaissances.
Technique et Science Informatiques 22(1): 190-202 (2003) |
| 2002 |
|---|
| 38 | EE | Lucas Bordeaux,
Eric Monfroy:
Beyond NP: Arc-Consistency for Quantified Constraints.
CP 2002: 371-386 |
| 37 | EE | Evgueni Petrov,
Eric Monfroy:
Automatic Analysis of Composite Solvers.
ICTAI 2002: 276-283 |
| 36 | EE | Lucas Bordeaux,
Eric Monfroy,
Frédéric Benhamou:
Towards Automated Reasoning on the Properties of Numerical Constraints.
International Workshop on Constraint Solving and Constraint Logic Programming 2002: 47-61 |
| 35 | | Lucas Bordeaux,
Eric Monfroy,
Frédéric Benhamou:
Raisonnement sur les propriétés de contraintes numériques.
JFPLC 2002: 13- |
| 2001 |
|---|
| 34 | EE | Laurent Granvilliers,
Eric Monfroy:
Composition Operators for Constraint Propagation: An Application to Choco.
CP 2001: 600-604 |
| 33 | EE | Laurent Granvilliers,
Eric Monfroy:
A Graphical Interface for Solver Cooperations.
Ershov Memorial Conference 2001: 457-467 |
| 32 | | Lucas Bordeaux,
Eric Monfroy,
Frédéric Benhamou:
Improved bounds on the complexity of kB-consistency.
IJCAI 2001: 303-308 |
| 31 | EE | Laurent Granvilliers,
Eric Monfroy,
Frédéric Benhamou:
Symbolic-interval cooperation in constraint programming.
ISSAC 2001: 150-166 |
| 30 | | Lucas Bordeaux,
Eric Monfroy,
Frédéric Benhamou:
Amélioration de la complexité des kB-consistances.
JFPLC 2001: 207-222 |
| 29 | | Eric Monfroy,
Farhad Arbab:
Constraints Solving as the Coordination of Inference Engines.
Coordination of Internet Agents: Models, Technologies, and Applications 2001: 399-419 |
| 28 | | Eric Monfroy:
Control-Driven Constraint Propagation.
Applied Artificial Intelligence 15(1): 79-103 (2001) |
| 27 | EE | Laurent Granvilliers,
Eric Monfroy:
Enhancing Constraint Propagation with Composition Operators
CoRR cs.AI/0107002: (2001) |
| 26 | EE | Krzysztof R. Apt,
Roman Barták,
Eric Monfroy,
Francesca Rossi,
Sebastian Brand:
Proceedings of the 6th Annual Workshop of the ERCIM Working Group on Constraints
CoRR cs.PL/0110012: (2001) |
| 25 | | Krzysztof R. Apt,
Eric Monfroy:
Constraint programming viewed as rule-based programming.
TPLP 1(6): 713-750 (2001) |
| 2000 |
|---|
| 24 | | Krzysztof R. Apt,
Antonis C. Kakas,
Eric Monfroy,
Francesca Rossi:
New Trends in Contraints, Joint ERCIM/Compulog Net Workshop, Paphos, Cyprus, October 25-27, 1999, Selected Papers
Springer 2000 |
| 23 | EE | Laurent Granvilliers,
Eric Monfroy:
Declarative Modelling of Constraint Propagation Strategies.
ADVIS 2000: 201-215 |
| 22 | EE | Carlos Castro,
Eric Monfroy:
Basic Operators for Solving Constraints via Collaboration of Solvers.
AISC 2000: 142-156 |
| 21 | EE | Farhad Arbab,
Eric Monfroy:
Distributed Splitting of Constraint Satisfaction Problems.
COORDINATION 2000: 115-132 |
| 20 | EE | Laurent Granvilliers,
Eric Monfroy:
Constraint Propagation: Between Abstract Models and ad hoc Strategies.
CP 2000: 505-509 |
| 19 | | Laurent Granvilliers,
Eric Monfroy:
Modélisation déclarative de stratégies de propagation de contraintes.
JFPLC 2000: 109-124 |
| 18 | | Eric Monfroy:
A Coordination-based Chaotic Iteration Algorithm for Constraint Propagation.
SAC (1) 2000: 262-269 |
| 17 | EE | Krzysztof R. Apt,
Eric Monfroy:
Constraint Programming viewed as Rule-based Programming
CoRR cs.AI/0003076: (2000) |
| 1999 |
|---|
| 16 | | Krzysztof R. Apt,
Eric Monfroy:
Automatic Generation of Constraint Propagation Algorithms for Small Finite Domains.
CP 1999: 58-72 |
| 15 | | Eric Monfroy:
From Solver Collaboration Expressions to Communicating and Coordinated Agents.
ECOOP Workshops 1999: 260-261 |
| 14 | EE | Carlos Castro,
Eric Monfroy:
A Control Language for Designing Constraint Solvers.
Ershov Memorial Conference 1999: 402-415 |
| 13 | | Eric Monfroy,
Jean-Hugues Réty:
Itérations asynchrones: un cadre uniforme pour la propagation de contraintes parallèle et répartie.
JFPLC 1999: 123-140 |
| 12 | EE | Christophe Ringeissen,
Eric Monfroy:
Generating Propagation Rules for Finite Domains: A Mixed Approach.
New Trends in Constraints 1999: 150-172 |
| 11 | EE | Eric Monfroy,
Jean-Hugues Réty:
Chaotic Iteration for Distributed Constraint Propagation.
SAC 1999: 19-24 |
| 10 | EE | Eric Monfroy:
Using ``Weaker'' Functions for Constraint Propagation Over Real Numbers.
SAC 1999: 553-559 |
| 9 | EE | Krzysztof R. Apt,
Eric Monfroy:
Automatic Generation of Constraint Propagation Algorithms for Small Finite Domains
CoRR cs.AI/9909010: (1999) |
| 8 | | Eric Monfroy,
Christophe Ringeissen:
An Open Automated Framework for Constraint Solver Extension: the SoleX Approach.
Fundam. Inform. 39(1-2): 167-187 (1999) |
| 1998 |
|---|
| 7 | EE | Eric Monfroy,
Christophe Ringeissen:
SoleX: A Domain-Independent Scheme for Constraint Solver Extension.
AISC 1998: 222-233 |
| 6 | | Eric Monfroy:
A Solver Collaboration in BALI.
IJCSLP 1998: 349-350 |
| 5 | EE | Farhad Arbab,
Eric Monfroy:
Using coordination for cooperative constraint solving.
SAC 1998: 139-148 |
| 4 | EE | Eric Monfroy:
An Environment for Designing/Executing Constraint Solver Collaborations.
Electr. Notes Theor. Comput. Sci. 16(1): (1998) |
| 1996 |
|---|
| 3 | EE | Eric Monfroy,
Michaël Rusinowitch,
René Schott:
Implementing non-linear constraints with cooperative solvers.
SAC 1996: 63-72 |
| 1992 |
|---|
| 2 | | Eric Monfroy:
Gröbner Bases: Strategies and Applications.
AISMC 1992: 133-151 |
| 1 | | Thom W. Frühwirth,
Alexander Herold,
Volker Küchenhoff,
Thierry Le Provost,
Pierre Lim,
Eric Monfroy,
Mark Wallace:
Contraint Logic Programming - An Informal Introduction.
Logic Programming Summer School 1992: 3-35 |
