Éric Monfroy - RankMe

169 papers A* 1A 4B 16C 2Misc 21Journal 36Unranked 84

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	Addressing Classic Constraint Satisfaction Problems Through Optimisation Modulo Theories. OLA Ignacio Jorquera, Nicolás Gálvez Ramírez, Frédéric Saubion, Éric Monfroy, Carlos Castro
2025	—	`conf`	Chaotic Binarization of Tasmanian Devil Optimization for Solving the Knapsack Problem. OLA Felipe Cisternas-Caneo, José Carlos Barrera-García, Broderick Crawford, Ricardo Soto, Giovanni Giachetti, Éric Monfroy
2025	—	`conf`	Exact and Approximate Methods for Solving the Edge-Strength Problem. ICCS (Workshops 2) Eduardo Rodriguez-Tello, Éric Monfroy, Claudia Vasconcellos-Gaete
2025	—	`conf`	Modeling the Cyclic Bandwidth Problem in QUBO for Quantum Annealing. ICCS (Workshops 5) Philippe Codognet, Éric Monfroy
2025	J	`jnl`	Optimization of Convolutional Neural Networks With Multi-Objective Function Metaheuristics for Melanoma Detection. IEEE Access Pamela Hermosilla, Ricardo Soto, Éric Monfroy, Emanuel Vega, Lucas Erazo, Valentina Guzmán
2024	—	`conf`	A Constraint Programming Approach for the Preference Tourist Trip Design Problem. OLA Stephanie Riff, Carlos Castro, Éric Monfroy
2024	—	`conf`	Best of Both Worlds: Solving the Cyclic Bandwidth Problem by Combining Pre-existing Knowledge and Constraint Programming Techniques. ICCS (5) Guillaume Fertin, Éric Monfroy, Claudia Vasconcellos-Gaete
2024	—	`conf`	Classifying Words with 3-sort Automata. ICAART (3) Tomasz Jastrzab, Frédéric Lardeux, Éric Monfroy
2024	Misc	`conf`	Classifying Words with 3-sort Automata. SAC Tomasz Jastrzab, Frédéric Lardeux, Éric Monfroy
2024	J	`jnl`	Classifying Words with 3-sort Automata. CoRR Tomasz Jastrzab, Frédéric Lardeux, Éric Monfroy
2024	—	`conf`	Enhancing Reptile Search Algorithm Performance for the Knapsack Problem with Integration of Chaotic Map. MICAI (2) José García, Felipe Cisternas-Caneo, Broderick Crawford, Ricardo Soto, Marcelo Becerra-Rozas, Giovanni Giachetti, Éric Monfroy
2024	B	`conf`	Introducing Constraint Well-Founded Semantics for Constraint Logic Programming Through Rewriting Transformations. ICTAI Bryan Garreau, Martín Diguez Lodeiro, Éric Monfroy, Igor Stéphan
2024	B	`conf`	Lazy ad hoc Explanations for the Sum Constraint. ICTAI Suruthy Sekar, Gaël Glorian, Wijnand Suijlen, Éric Monfroy, Arnaud Lallouet
2024	—	`conf`	Robust Models for Learning Languages. OLA Tomasz Jastrzab, Frédéric Lardeux, Éric Monfroy
2024	J	`jnl`	Robust models to infer flexible nondeterministic finite automata. J. Comput. Sci. Tomasz Jastrzab, Frédéric Lardeux, Éric Monfroy
2024	—	`conf`	Unleashing Chaos: Enhanced Reptile Search for the Set Covering Problem. ARTIIS (2) Felipe Cisternas-Caneo, José Carlos Barrera-García, Broderick Crawford, Ricardo Soto, Marcelo Becerra-Rozas, Giovanni Giachetti, Éric Monfroy
2023	—	`conf`	Inference of Over-Constrained NFA of Size k+1 to Efficiently and Systematically Derive NFA of Size k for Grammar Learning. ICCS (1) Tomasz Jastrzab, Frédéric Lardeux, Éric Monfroy
2023	—	`conf`	Multi-armed Bandit-Based Metaheuristic Operator Selection: The Pendulum Algorithm Binarization Case. OLA Pablo Ábrego-Calderón, Broderick Crawford, Ricardo Soto, Eduardo Rodriguez-Tello, Felipe Cisternas-Caneo, Éric Monfroy, Giovanni Giachetti
2023	J	`jnl`	Taking advantage of a very simple property to efficiently infer NFAs. CoRR Tomasz Jastrzab, Frédéric Lardeux, Éric Monfroy
2022	B	`conf`	Taking Advantage of a Very Simple Property to Efficiently Infer NFAs. ICTAI Tomasz Jastrzab, Frédéric Lardeux, Éric Monfroy
2021	J	`jnl`	GA and ILS for optimizing the size of NFA models. CoRR Frédéric Lardeux, Éric Monfroy
2021	—	`conf`	Improved Lower Bounds for the Cyclic Bandwidth Problem. ICCS (1) Hugues Déprés, Guillaume Fertin, Éric Monfroy
2021	—	`conf`	Improved SAT Models for NFA Learning. OLA Frédéric Lardeux, Éric Monfroy
2021	J	`jnl`	Improved SAT models for NFA learning. CoRR Frédéric Lardeux, Éric Monfroy
2021	B	`conf`	Optimized models and symmetry breaking for the NFA inference problem. ICTAI Frédéric Lardeux, Éric Monfroy
2021	J	`jnl`	Two-dimensional bandwidth minimization problem: Exact and heuristic approaches. Knowl. Based Syst. Miguel Ángel Rodríguez-García, Jesús Sánchez-Oro, Eduardo Rodriguez-Tello, Éric Monfroy, Abraham Duarte
2020	J	`jnl`	Improving complex SMT strategies with learning. Int. Trans. Oper. Res. Nicolás Gálvez Ramírez, Éric Monfroy, Frédéric Saubion, Carlos Castro
2020	J	`jnl`	Modular Constraint Solver Cooperation via Abstract Interpretation. CoRR Pierre Talbot, Éric Monfroy, Charlotte Truchet
2020	J	`jnl`	Modular Constraint Solver Cooperation via Abstract Interpretation. Theory Pract. Log. Program. Pierre Talbot, Éric Monfroy, Charlotte Truchet
2020	J	`jnl`	Solving complex problems using model transformations: from set constraint modeling to SAT instance solving. Expert Syst. Appl. Frédéric Lardeux, Éric Monfroy, Eduardo Rodriguez-Tello, Broderick Crawford, Ricardo Soto
2019	B	`conf`	Combining Constraint Languages via Abstract Interpretation. ICTAI Pierre Talbot, David Cachera, Éric Monfroy, Charlotte Truchet
2018	—	`conf`	Optimizing SMT Solving Strategies by Learning with an Evolutionary Process. HPCS Nicolás Gálvez Ramírez, Éric Monfroy, Frédéric Saubion, Carlos Castro
2018	J	`jnl`	Reachability in parametric Interval Markov Chains using constraints. Theor. Comput. Sci. Anicet Bart, Benoît Delahaye, Paulin Fournier, Didier Lime, Éric Monfroy, Charlotte Truchet
2017	—	`conf`	A Meta-Optimization Approach for Covering Problems in Facility Location. WEA Broderick Crawford, Ricardo Soto, Éric Monfroy, Gino Astorga, José García, Enrique Cortés
2017	J	`jnl`	A global constraint for over-approximation of real-time streams. Constraints An Int. J. Anicet Bart, Charlotte Truchet, Éric Monfroy
2017	—	`conf`	Reachability in Parametric Interval Markov Chains Using Constraints. QEST Anicet Bart, Benoît Delahaye, Didier Lime, Éric Monfroy, Charlotte Truchet
2017	J	`jnl`	Reachability in Parametric Interval Markov Chains using Constraints. CoRR Anicet Bart, Benoît Delahaye, Didier Lime, Éric Monfroy, Charlotte Truchet
2016	B	`conf`	Evolving SMT Strategies. ICTAI Nicolás Gálvez Ramírez, Youssef Hamadi, Éric Monfroy, Frédéric Saubion
2016	B	`conf`	From Set Constraint Models to SAT Instances. ICTAI Frédéric Lardeux, Éric Monfroy
2016	B	`conf`	From Set Constraint Models to SAT Instances. ICTAI Frédéric Lardeux, Éric Monfroy
2016	B	`conf`	Towards Automated Strategies in Satisfiability Modulo Theory. EuroGP Nicolás Gálvez Ramírez, Youssef Hamadi, Éric Monfroy, Frédéric Saubion
2015	J	`jnl`	Boosting autonomous search for CSPs via skylines. Inf. Sci. Ricardo Soto, Broderick Crawford, Wenceslao Palma, Karin Galleguillos, Carlos Castro, Éric Monfroy, Franklin Johnson, Fernando Paredes
2015	Misc	`conf`	Expressively Modeling the Social Golfer Problem in SAT. ICCS Frédéric Lardeux, Éric Monfroy
2015	J	`jnl`	Set constraint model and automated encoding into SAT: application to the social golfer problem. Ann. Oper. Res. Frédéric Lardeux, Éric Monfroy, Broderick Crawford, Ricardo Soto
2015	—	`conf`	Towards a Framework for Adaptive Constraint Propagation. HCI (27) Broderick Crawford, Ricardo Soto, Franklin Johnson, Éric Monfroy, Enrique Norero, Eduardo Olguín
2015	B	`conf`	Verifying a Real-Time Language with Constraints. ICTAI Anicet Bart, Charlotte Truchet, Éric Monfroy
2014	J	`jnl`	A Max-Min Ant System algorithm to solve the Software Project Scheduling Problem. Expert Syst. Appl. Broderick Crawford, Ricardo Soto, Franklin Johnson, Éric Monfroy, Fernando Paredes
2014	—	`conf`	A New Approach to Solve the Software Project Scheduling Problem Based on Max-Min Ant System. CSOC Broderick Crawford, Ricardo Soto, Franklin Johnson, Éric Monfroy, Fernando Paredes
2014	—	`conf`	Autonomous Search: Towards the Easy Tuning of Constraint Programming Solvers. HCI (26) Broderick Crawford, Ricardo Soto, Rodrigo Olivares, Rodrigo Herrera, Éric Monfroy, Fernando Paredes
2014	—	`conf`	Easy Modeling of Open Pit Mining Problems via Constraint Programming. HCI (26) Broderick Crawford, Ricardo Soto, Carolina Zec, Éric Monfroy, Fernando Paredes
2014	Misc	`conf`	From Declarative Set Constraint Models to "Good" SAT Instances. AISC Frédéric Lardeux, Éric Monfroy
2014	—	`conf`	Modeling Manufacturing Cell Design Problems: CP vs. MH. HCI (26) Broderick Crawford, Ricardo Soto, Gustavo Zuñiga, Éric Monfroy, Fernando Paredes
2014	—	`conf`	Self-adaptive Systems: Facilitating the Use of Combinatorial Problem Solvers. HCI (26) Broderick Crawford, Ricardo Soto, Éric Monfroy, Franklin Johnson
2014	J	`jnl`	Set Constraint Model and Automated Encoding into SAT: Application to the Social Golfer Problem. CoRR Frédéric Lardeux, Éric Monfroy, Broderick Crawford, Ricardo Soto
2013	—	`conf`	A GUI for Modeling Regular Constraints. HCI (28) Ricardo Soto, Broderick Crawford, Diego Riquelme, Éric Monfroy
2013	J	`jnl`	A hybrid AC3-tabu search algorithm for solving Sudoku puzzles. Expert Syst. Appl. Ricardo Soto, Broderick Crawford, Cristian Galleguillos, Éric Monfroy, Fernando Paredes
2013	J	`jnl`	A reactive and hybrid constraint solver. J. Exp. Theor. Artif. Intell. Éric Monfroy, Carlos Castro, Broderick Crawford, Ricardo Soto, Fernando Paredes, Christian Figueroa
2013	—	`conf`	Adaptive and Multilevel Approach for Constraint Solving. HCI (28) Claudio León de la Barra, Broderick Crawford, Ricardo Soto, Éric Monfroy
2013	—	`conf`	Agile Software Development: It Is about Knowledge Management and Creativity. ICCSA (3) Claudio León de la Barra, Broderick Crawford, Ricardo Soto, Sanjay Misra, Éric Monfroy
2013	—	`conf`	Ants Can Schedule Software Projects. HCI (28) Broderick Crawford, Ricardo Soto, Franklin Johnson, Éric Monfroy
2013	—	`conf`	Automatic Triggering of Constraint Propagation. ICCSA (5) Éric Monfroy, Broderick Crawford, Ricardo Soto
2013	—	`conf`	Cultural Algorithms for the Set Covering Problem. ICSI (2) Broderick Crawford, Ricardo Soto, Éric Monfroy
2013	—	`conf`	Interleaving Constraint Propagation: An Efficient Cooperative Search with Branch and Bound. Hybrid Metaheuristics Éric Monfroy, Broderick Crawford, Ricardo Soto
2013	—	`conf`	Knowledge Management and Creativity in Software Engineering - The Foundations of Agility. ICEIS (2) Broderick Crawford, Claudio León de la Barra, Ricardo Soto, Sanjay Misra, Éric Monfroy
2013	—	`conf`	Modeling the Portfolio Selection Problem with Constraint Programming. HCI (28) Claudio León de la Barra, Ricardo Soto, Broderick Crawford, Camila Allendes, Hans Berendsen, Éric Monfroy
2013	—	`conf`	Nurse Rostering with Soft Constraints - Evidence from Chilean Mid-size Health Care Centers. ICEIS (1) Ricardo Soto, Broderick Crawford, Rodrigo Bertrand, Éric Monfroy
2013	J	`jnl`	Parameter tuning of a choice-function based hyperheuristic using Particle Swarm Optimization. Expert Syst. Appl. Broderick Crawford, Ricardo Soto, Éric Monfroy, Wenceslao Palma, Carlos Castro, Fernando Paredes
2013	—	`conf`	Robust Solutions for a Robotic Manipulator Optimization Problem. IWINAC (2) Ricardo Soto, Stéphane Caro, Broderick Crawford, Éric Monfroy
2013	—	`conf`	The Role of Knowledge Management in Agile Software Development. HCI (28) Broderick Crawford, Claudio León de la Barra, Ricardo Soto, Mario Dorochesi, Éric Monfroy
2012	J	`jnl`	A 2-level Metaheuristic for the Set Covering Problem. Int. J. Comput. Commun. Control Claudio Valenzuela, Broderick Crawford, Ricardo Soto, Éric Monfroy, Fernando Paredes
2012	—	`conf`	A Hyperheuristic Approach for Guiding Enumeration in Constraint Solving. EVOLVE Broderick Crawford, Carlos Castro, Éric Monfroy, Ricardo Soto, Wenceslao Palma, Fernando Paredes
2012	B	`conf`	Agile software engineering as creative work. CHASE Broderick Crawford, Claudio León de la Barra, Ricardo Soto, Éric Monfroy
2012	—	`ch.`	An Introduction to Autonomous Search. Autonomous Search Youssef Hamadi, Éric Monfroy, Frédéric Saubion
2012	—	`book`	Autonomous Search Youssef Hamadi, Éric Monfroy, Frédéric Saubion
2012	J	`jnl`	Cell formation in group technology using constraint programming and Boolean satisfiability. Expert Syst. Appl. Ricardo Soto, Håkan Kjellerstrand, Orlando Durán, Broderick Crawford, Éric Monfroy, Fernando Paredes
2012	—	`conf`	Knowledge Management and Creativity Practices in Software Engineering. KMIS Broderick Crawford, Claudio León de la Barra, Ricardo Soto, Sanjay Misra, Éric Monfroy
2012	C	`conf`	Solving Manufacturing Cell Design Problems Using Constraint Programming. IEA/AIE Ricardo Soto, Håkan Kjellerstrand, Juan Gutiérrez, Alexis López, Broderick Crawford, Éric Monfroy
2012	—	`conf`	Using Autonomous Search for Generating Good Enumeration Strategy Blends in Constraint Programming. ICCSA (3) Ricardo Soto, Broderick Crawford, Éric Monfroy, Víctor Bustos
2011	—	`conf`	A Framework for Autonomous Search in the Ecl IEA/AIE (1) Broderick Crawford, Ricardo Soto, Mauricio Montecinos, Carlos Castro, Éric Monfroy
2011	—	`conf`	A Hyperheuristic Approach for Dynamic Enumeration Strategy Selection in Constraint Satisfaction. IWINAC (2) Broderick Crawford, Ricardo Soto, Carlos Castro, Éric Monfroy
2011	Misc	`conf`	Adaptive hybridization strategies. SAC Éric Monfroy, Carlos Castro, Broderick Crawford, Christian Figueroa
2011	—	`conf`	Constraint-Based Nurse Rostering for the Valparaíso Clinic Center in Chile. HCI (23) Renzo Pizarro, Gianni Rivera, Ricardo Soto, Broderick Crawford, Carlos Castro, Éric Monfroy
2011	—	`conf`	Extensible CP-Based Autonomous Search. HCI (22) Broderick Crawford, Ricardo Soto, Carlos Castro, Éric Monfroy
2010	—	`conf`	Using a Choice Function for Guiding Enumeration in Constraint Solving. MICAI (Special Sessions) Broderick Crawford, Carlos Castro, Éric Monfroy
2009	—	`conf`	A Choice Function to Dynamic Selection of Enumeration Strategies Solving Constraint Satisfaction Problems. SoCPaR Broderick Crawford, Mauricio Montecinos, Carlos Castro, Éric Monfroy
2009	—	`conf`	A New ACO Transition Rule for Set Partitioning and Covering Problems. SoCPaR Broderick Crawford, Carlos Castro, Éric Monfroy
2009	—	`conf`	SAT Encoding and CSP Reduction for Interconnected Alldiff Constraints. MICAI Frédéric Lardeux, Éric Monfroy, Frédéric Saubion, Broderick Crawford, Carlos Castro
2009	J	`jnl`	Some Results on the design of Balanced Academic Curricula. CLEI Electron. J. Carlos Castro, Éric Monfroy
2009	Misc	`conf`	Towards a Flexible and Adaptable Hyperheuristic Approach for VRPs. IC-AI Pablo Garrido, Carlos Castro, Éric Monfroy
2008	—	`conf`	A Theoretical Framework for Local Search Techniques. CSE Éric Monfroy, Frédéric Saubion, Broderick Crawford, Carlos Castro
2008	—	`conf`	Constraint Programming Can Help Ants Solving Highly Constrainted Combinatorial Problems. ICSOFT (PL/DPS/KE) Broderick Crawford, Carlos Castro, Éric Monfroy
2008	—	`conf`	Dynamic Web Services Provisioning with Constraints. OTM Conferences (1) Éric Monfroy, Olivier Perrin, Christophe Ringeissen
2008	Misc	`conf`	Interleaved Alldifferent Constraints: CSP vs. SAT Approaches. AIMSA Frédéric Lardeux, Éric Monfroy, Frédéric Saubion
2008	—	`conf`	Local Search as a Fixed Point of Functions. ICEIS (2) Éric Monfroy, Frédéric Saubion, Broderick Crawford, Carlos Castro
2008	J	`jnl`	Modelando la composición de servicios web con restricciones. Rev. Avances en Sistemas Informática Éric Monfroy, Oliver Perri, Christophe Ringeissen
2007	—	`conf`	A Quantitative Approach for the Design of Academic Curricula. HCI (9) Carlos Castro, Broderick Crawford, Éric Monfroy
2007	—	`conf`	Decomposition Approach to Solve Dial-a-Ride Problems Using Ant Computing and Constraint Programming. BVAI Broderick Crawford, Carlos Castro, Éric Monfroy, Claudio Cubillos
2007	—	`conf`	Development of Algorithms to Solve Combinatorial Problems. ICEIS (3) Broderick Crawford, Carlos Castro, Éric Monfroy
2007	—	`conf`	Integration of Constraint Programming and Metaheuristics. SARA Broderick Crawford, Carlos Castro, Éric Monfroy
2007	—	`conf`	Knowledge Management in the Development of Optimization Algorithms. HCI (8) Broderick Crawford, Carlos Castro, Éric Monfroy
2007	J	`jnl`	Process Calculi for Adaptative Enumeration Strategies in Constraint Programming. Res. Comput. Sci. Camilo Rueda, Carlos Olarte, Éric Monfroy
2007	—	`conf`	Solving Dial-a-Ride Problems with a Low-Level Hybridization of Ants and Constraint Programming. IWINAC (2) Broderick Crawford, Carlos Castro, Éric Monfroy
2006	Misc	`conf`	A Constructive Hybrid Algorithm for Crew Pairing Optimization. AIMSA Broderick Crawford, Carlos Castro, Éric Monfroy
2006	Misc	`conf`	A Generic Framework for Local Search: Application to the Sudoku Problem. International Conference on Computational Science (1) Tony Lambert, Éric Monfroy, Frédéric Saubion
2006	—	`conf`	A Hybrid Ant Algorithm for the Airline Crew Pairing Problem. MICAI Broderick Crawford, Carlos Castro, Éric Monfroy
2006	—	`conf`	Adaptive Enumeration Strategies and Metabacktracks for Constraint Solving. ADVIS Éric Monfroy, Carlos Castro, Broderick Crawford
2006	—	`conf`	Knowledge Management in Different Software Development Approaches. ADVIS Broderick Crawford, Carlos Castro, Éric Monfroy
2006	Misc	`conf`	Solving the Balanced Academic Curriculum Problem with an Hybridization of Genetic Algorithm and Constraint Propagation. ICAISC Tony Lambert, Carlos Castro, Éric Monfroy, Frédéric Saubion
2006	Misc	`conf`	Special track editorial: constraint solving and programming. SAC Stefano Bistarelli, Éric Monfroy, Barry O'Sullivan
2006	Misc	`conf`	Using Local Search for Guiding Enumeration in Constraint Solving. AIMSA Éric Monfroy, Carlos Castro, Broderick Crawford
2005	—	`conf`	An Approach for Dynamic Split Strategies in Constraint Solving. MICAI Carlos Castro, Éric Monfroy, Christian Figueroa, Rafael Meneses
2005	Misc	`conf`	Editorial: special track on constraint solving and programming. SAC Stefano Bistarelli, Éric Monfroy, Barry O'Sullivan
2005	—	`conf`	Hybrid CSP Solving. FroCoS Éric Monfroy, Frédéric Saubion, Tony Lambert
2005	B	`conf`	Hybridization of Genetic Algorithms and Constraint Propagation for the BACP. ICLP Tony Lambert, Carlos Castro, Éric Monfroy, María Cristina Riff, Frédéric Saubion
2005	Misc	`conf`	Solving strategies using a hybridization model for local search and constraint propagation. SAC Tony Lambert, Éric Monfroy, Frédéric Saubion
2004	—	`conf`	A Component Language for Hybrid Solver Cooperations. ADVIS Éric Monfroy, Carlos Castro
2004	J	`jnl`	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. Theory Pract. Log. Program. Éric Monfroy
2004	Misc	`conf`	Designing Hybrid Cooperations with a Component Language for Solving Optimisation Problems. AIMSA Carlos Castro, Éric Monfroy
2004	—	`conf`	Itérations chaotiques pour l'hybridation propagation de contraintes/recherche locale. JFPLC Hervé Deleau, Tony Lambert, Éric Monfroy, Frédéric Saubion
2004	B	`conf`	On Hybridization of Local Search and Constraint Propagation. ICLP Éric Monfroy, Frédéric Saubion, Tony Lambert
2003	—	`conf`	A Rule Language for Interaction. CSCLP Carlos Castro, Éric Monfroy, Christophe Ringeissen
2003	Misc	`conf`	Basic Components for Constraint Solver Cooperations. SAC Éric Monfroy, Carlos Castro
2003	J	`jnl`	Constraint-based analysis of composite solvers CoRR Evgueni Petrov, Éric Monfroy
2003	—	`conf`	Deductive Generation of Constraint Propagation Rules. RULE@RDP Sebastian Brand, Éric Monfroy
2003	—	`conf`	Extraction de programmes à partir de spécifications en logique existentielle du second ordre par compilation de connaissances. JFPLC Lucas Bordeaux, Éric Monfroy
2003	J	`jnl`	Extraction de programmes à partir de spécifications en logique existentielle du second ordre par compilation de connaissances. Tech. Sci. Informatiques Lucas Bordeaux, Éric Monfroy
2003	B	`conf`	Implementing Constraint Propagation by Composition of Reductions. ICLP Laurent Granvilliers, Éric Monfroy
2003	—	`conf`	Separating Search and Strategy in Solver Cooperations. Ershov Memorial Conference Brice Pajot, Éric Monfroy
2002	B	`conf`	Automatic Analysis of Composite Solvers. ICTAI Evgueni Petrov, Éric Monfroy
2002	A	`conf`	Beyond NP: Arc-Consistency for Quantified Constraints. CP Lucas Bordeaux, Éric Monfroy
2002	—	`conf`	Raisonnement sur les propriétés de contraintes numériques. JFPLC Lucas Bordeaux, Éric Monfroy, Frédéric Benhamou
2002	—	`conf`	Towards Automated Reasoning on the Properties of Numerical Constraints. International Workshop on Constraint Solving and Constraint Logic Programming Lucas Bordeaux, Éric Monfroy, Frédéric Benhamou
2001	—	`conf`	A Graphical Interface for Solver Cooperations. Ershov Memorial Conference Laurent Granvilliers, Éric Monfroy
2001	—	`conf`	Amélioration de la complexité des kB-consistances. JFPLC Lucas Bordeaux, Éric Monfroy, Frédéric Benhamou
2001	A	`conf`	Composition Operators for Constraint Propagation: An Application to Choco. CP Laurent Granvilliers, Éric Monfroy
2001	J	`jnl`	Constraint programming viewed as rule-based programming. Theory Pract. Log. Program. Krzysztof R. Apt, Éric Monfroy
2001	—	`ch.`	Constraints Solving as the Coordination of Inference Engines. Coordination of Internet Agents: Models, Technologies, and Applications Éric Monfroy, Farhad Arbab
2001	J	`jnl`	Control-Driven Constraint Propagation. Appl. Artif. Intell. Éric Monfroy
2001	J	`jnl`	Enhancing Constraint Propagation with Composition Operators CoRR Laurent Granvilliers, Éric Monfroy
2001	A*	`conf`	Improved bounds on the complexity of kB-consistency. IJCAI Lucas Bordeaux, Éric Monfroy, Frédéric Benhamou
2001	J	`jnl`	Proceedings of the 6th Annual Workshop of the ERCIM Working Group on Constraints CoRR Krzysztof R. Apt, Roman Barták, Éric Monfroy, Francesca Rossi, Sebastian Brand
2001	B	`conf`	Symbolic-interval cooperation in constraint programming. ISSAC Laurent Granvilliers, Éric Monfroy, Frédéric Benhamou
2000	—	`conf`	A Coordination-based Chaotic Iteration Algorithm for Constraint Propagation. SAC (1) Éric Monfroy
2000	Misc	`conf`	Basic Operators for Solving Constraints via Collaboration of Solvers. AISC Carlos Castro, Éric Monfroy
2000	J	`jnl`	Constraint Programming viewed as Rule-based Programming CoRR Krzysztof R. Apt, Éric Monfroy
2000	A	`conf`	Constraint Propagation: Between Abstract Models and ad hoc Strategies. CP Laurent Granvilliers, Éric Monfroy
2000	—	`conf`	Declarative Modelling of Constraint Propagation Strategies. ADVIS Laurent Granvilliers, Éric Monfroy
2000	C	`conf`	Distributed Splitting of Constraint Satisfaction Problems. COORDINATION Farhad Arbab, Éric Monfroy
2000	—	`conf`	Fixing, Completing and Mapping Information Using Constraints. PACPL Éric Monfroy, Freek van Teeseling
2000	—	`conf`	Modélisation déclarative de stratégies de propagation de contraintes. JFPLC Laurent Granvilliers, Éric Monfroy
2000	—	`ed.`	New Trends in Contraints, Joint ERCIM/Compulog Net Workshop, Paphos, Cyprus, October 25-27, 1999, Selected Papers New Trends in Constraints Krzysztof R. Apt, Antonis C. Kakas, Éric Monfroy, Francesca Rossi
1999	—	`conf`	A Control Language for Designing Constraint Solvers. Ershov Memorial Conference Carlos Castro, Éric Monfroy
1999	J	`jnl`	An Open Automated Framework for Constraint Solver Extension: the SoleX Approach. Fundam. Informaticae Éric Monfroy, Christophe Ringeissen
1999	J	`jnl`	Automatic Generation of Constraint Propagation Algorithms for Small Finite Domains CoRR Krzysztof R. Apt, Éric Monfroy
1999	A	`conf`	Automatic Generation of Constraint Propagation Algorithms for Small Finite Domains. CP Krzysztof R. Apt, Éric Monfroy
1999	Misc	`conf`	Chaotic Iteration for Distributed Constraint Propagation. SAC Éric Monfroy, Jean-Hugues Réty
1999	—	`conf`	From Solver Collaboration Expressions to Communicating and Coordinated Agents. ECOOP Workshops Éric Monfroy
1999	—	`conf`	Generating Propagation Rules for Finite Domains: A Mixed Approach. New Trends in Constraints Christophe Ringeissen, Éric Monfroy
1999	—	`conf`	Itérations asynchrones: un cadre uniforme pour la propagation de contraintes parallèle et répartie. JFPLC Éric Monfroy, Jean-Hugues Réty
1999	Misc	`conf`	Using "Weaker" Functions for Constraint Propagation Over Real Numbers. SAC Éric Monfroy
1998	—	`conf`	A Solver Collaboration in BALI. IJCSLP Éric Monfroy
1998	—	`conf`	An Environment for Designing/Executing Constraint Solver Collaborations. COTIC Éric Monfroy
1998	Misc	`conf`	SoleX: A Domain-Independent Scheme for Constraint Solver Extension. AISC Éric Monfroy, Christophe Ringeissen
1998	—	`conf`	The Constraint Solver Collaboration Language of BALI. FroCoS Éric Monfroy
1998	Misc	`conf`	Using coordination for cooperative constraint solving. SAC Farhad Arbab, Éric Monfroy
1996	—	`—`	Collaboration de solveurs pour la programmation logique à contraintes. (Solver collaboration for constraint logic programming). Éric Monfroy
1996	Misc	`conf`	Implementing non-linear constraints with cooperative solvers. SAC Éric Monfroy, Michaël Rusinowitch, René Schott
1992	—	`conf`	Contraint Logic Programming - An Informal Introduction. Logic Programming Summer School Thom W. Frühwirth, Alexander Herold, Volker Küchenhoff, Thierry Le Provost, Pierre Lim, Éric Monfroy, Mark Wallace
1992	—	`conf`	Gröbner Bases: Strategies and Applications. AISMC Éric Monfroy