Éric Monfroy

ORCID

Publication Activity (10 Years)

Years Active: 1992-2024
Publications (10 Years): 30

Top Venues

Publications

Tomasz Jastrzab, Frédéric Lardeux, Éric Monfroy
Classifying Words with 3-sort Automata. SAC (2024)
Guillaume Fertin, Éric Monfroy, Claudia Vasconcellos-Gaete
Best of Both Worlds: Solving the Cyclic Bandwidth Problem by Combining Pre-existing Knowledge and Constraint Programming Techniques. ICCS (5) (2024)
Tomasz Jastrzab, Frédéric Lardeux, Éric Monfroy
Classifying Words with 3-sort Automata. ICAART (3) (2024)
Tomasz Jastrzab, Frédéric Lardeux, Éric Monfroy
Robust models to infer flexible nondeterministic finite automata. J. Comput. Sci. 79 (2024)
Tomasz Jastrzab, Frédéric Lardeux, Éric Monfroy
Classifying Words with 3-sort Automata. CoRR (2024)
Tomasz Jastrzab, Frédéric Lardeux, Éric Monfroy
Taking advantage of a very simple property to efficiently infer NFAs. CoRR (2023)
Tomasz Jastrzab, Frédéric Lardeux, Éric Monfroy
Inference of Over-Constrained NFA of Size k+1 to Efficiently and Systematically Derive NFA of Size k for Grammar Learning. ICCS (1) (2023)
Pablo Ábrego-Calderón, Broderick Crawford, Ricardo Soto, Eduardo Rodriguez-Tello, Felipe Cisternas-Caneo, Éric Monfroy, Giovanni Giachetti
Multi-armed Bandit-Based Metaheuristic Operator Selection: The Pendulum Algorithm Binarization Case. OLA (2023)
Tomasz Jastrzab, Frédéric Lardeux, Éric Monfroy
Taking Advantage of a Very Simple Property to Efficiently Infer NFAs. ICTAI (2022)
Frédéric Lardeux, Éric Monfroy
Improved SAT Models for NFA Learning. OLA (2021)
Frédéric Lardeux, Éric Monfroy
GA and ILS for optimizing the size of NFA models. CoRR (2021)
Miguel Ángel Rodríguez-García, Jesús Sánchez-Oro, Eduardo Rodriguez-Tello, Éric Monfroy, Abraham Duarte
Two-dimensional bandwidth minimization problem: Exact and heuristic approaches. Knowl. Based Syst. 214 (2021)
Frédéric Lardeux, Éric Monfroy
Optimized models and symmetry breaking for the NFA inference problem. ICTAI (2021)
Frédéric Lardeux, Éric Monfroy
Improved SAT models for NFA learning. CoRR (2021)
Hugues Déprés, Guillaume Fertin, Éric Monfroy
Improved Lower Bounds for the Cyclic Bandwidth Problem. ICCS (1) (2021)
Pierre Talbot, Éric Monfroy, Charlotte Truchet
Modular Constraint Solver Cooperation via Abstract Interpretation. Theory Pract. Log. Program. 20 (6) (2020)
Frédéric Lardeux, Éric Monfroy, Eduardo Rodriguez-Tello, Broderick Crawford, Ricardo Soto
Solving complex problems using model transformations: from set constraint modeling to SAT instance solving. Expert Syst. Appl. 149 (2020)
Pierre Talbot, Éric Monfroy, Charlotte Truchet
Modular Constraint Solver Cooperation via Abstract Interpretation. CoRR (2020)
Nicolás Gálvez Ramírez, Éric Monfroy, Frédéric Saubion, Carlos Castro
Improving complex SMT strategies with learning. Int. Trans. Oper. Res. 27 (2) (2020)
Pierre Talbot, David Cachera, Éric Monfroy, Charlotte Truchet
Combining Constraint Languages via Abstract Interpretation. ICTAI (2019)
Nicolás Gálvez Ramírez, Éric Monfroy, Frédéric Saubion, Carlos Castro
Optimizing SMT Solving Strategies by Learning with an Evolutionary Process. HPCS (2018)
Anicet Bart, Benoît Delahaye, Paulin Fournier, Didier Lime, Éric Monfroy, Charlotte Truchet
Reachability in parametric Interval Markov Chains using constraints. Theor. Comput. Sci. 747 (2018)
Anicet Bart, Benoît Delahaye, Didier Lime, Éric Monfroy, Charlotte Truchet
Reachability in Parametric Interval Markov Chains using Constraints. CoRR (2017)
Broderick Crawford, Ricardo Soto, Éric Monfroy, Gino Astorga, José García, Enrique Cortés
A Meta-Optimization Approach for Covering Problems in Facility Location. WEA (2017)
Anicet Bart, Charlotte Truchet, Éric Monfroy
A global constraint for over-approximation of real-time streams. Constraints An Int. J. 22 (3) (2017)
Anicet Bart, Benoît Delahaye, Didier Lime, Éric Monfroy, Charlotte Truchet
Reachability in Parametric Interval Markov Chains Using Constraints. QEST (2017)
Nicolás Gálvez Ramírez, Youssef Hamadi, Éric Monfroy, Frédéric Saubion
Evolving SMT Strategies. ICTAI (2016)
Frédéric Lardeux, Éric Monfroy
From Set Constraint Models to SAT Instances. ICTAI (2016)
Nicolás Gálvez Ramírez, Youssef Hamadi, Éric Monfroy, Frédéric Saubion
Towards Automated Strategies in Satisfiability Modulo Theory. EuroGP (2016)
Frédéric Lardeux, Éric Monfroy
From Set Constraint Models to SAT Instances. ICTAI (2016)
Frédéric Lardeux, Éric Monfroy, Broderick Crawford, Ricardo Soto
Set constraint model and automated encoding into SAT: application to the social golfer problem. Ann. Oper. Res. 235 (1) (2015)
Broderick Crawford, Ricardo Soto, Franklin Johnson, Éric Monfroy, Enrique Norero, Eduardo Olguín
Towards a Framework for Adaptive Constraint Propagation. HCI (27) (2015)
Frédéric Lardeux, Éric Monfroy
Expressively Modeling the Social Golfer Problem in SAT. ICCS (2015)
Ricardo Soto, Broderick Crawford, Wenceslao Palma, Karin Galleguillos, Carlos Castro, Éric Monfroy, Franklin Johnson, Fernando Paredes
Boosting autonomous search for CSPs via skylines. Inf. Sci. 308 (2015)
Éric Monfroy
by Antoni Niederliński, xiii + 509 pages, published by Jacek Skalmierski Computer Studio, Third Edition, 2014. Theory Pract. Log. Program. 15 (1) (2015)
Anicet Bart, Charlotte Truchet, Éric Monfroy
Verifying a Real-Time Language with Constraints. ICTAI (2015)
Broderick Crawford, Ricardo Soto, Gustavo Zuñiga, Éric Monfroy, Fernando Paredes
Modeling Manufacturing Cell Design Problems: CP vs. MH. HCI (26) (2014)
Broderick Crawford, Ricardo Soto, Franklin Johnson, Éric Monfroy, Fernando Paredes
A New Approach to Solve the Software Project Scheduling Problem Based on Max-Min Ant System. CSOC (2014)
Broderick Crawford, Ricardo Soto, Éric Monfroy, Franklin Johnson
Self-adaptive Systems: Facilitating the Use of Combinatorial Problem Solvers. HCI (26) (2014)
Broderick Crawford, Ricardo Soto, Carolina Zec, Éric Monfroy, Fernando Paredes
Easy Modeling of Open Pit Mining Problems via Constraint Programming. HCI (26) (2014)
Broderick Crawford, Ricardo Soto, Rodrigo Olivares, Rodrigo Herrera, Éric Monfroy, Fernando Paredes
Autonomous Search: Towards the Easy Tuning of Constraint Programming Solvers. HCI (26) (2014)
Frédéric Lardeux, Éric Monfroy, Broderick Crawford, Ricardo Soto
Set Constraint Model and Automated Encoding into SAT: Application to the Social Golfer Problem. CoRR (2014)
Frédéric Lardeux, Éric Monfroy
From Declarative Set Constraint Models to "Good" SAT Instances. AISC (2014)
Broderick Crawford, Ricardo Soto, Franklin Johnson, Éric Monfroy, Fernando Paredes
A Max-Min Ant System algorithm to solve the Software Project Scheduling Problem. Expert Syst. Appl. 41 (15) (2014)
Éric Monfroy, Broderick Crawford, Ricardo Soto
Interleaving Constraint Propagation: An Efficient Cooperative Search with Branch and Bound. Hybrid Metaheuristics (2013)
Claudio León de la Barra, Broderick Crawford, Ricardo Soto, Sanjay Misra, Éric Monfroy
Agile Software Development: It Is about Knowledge Management and Creativity. ICCSA (3) (2013)
Éric Monfroy, Broderick Crawford, Ricardo Soto
Automatic Triggering of Constraint Propagation. ICCSA (5) (2013)
Broderick Crawford, Claudio León de la Barra, Ricardo Soto, Mario Dorochesi, Éric Monfroy
The Role of Knowledge Management in Agile Software Development. HCI (28) (2013)
Claudio León de la Barra, Ricardo Soto, Broderick Crawford, Camila Allendes, Hans Berendsen, Éric Monfroy
Modeling the Portfolio Selection Problem with Constraint Programming. HCI (28) (2013)
Claudio León de la Barra, Broderick Crawford, Ricardo Soto, Éric Monfroy
Adaptive and Multilevel Approach for Constraint Solving. HCI (28) (2013)
Ricardo Soto, Stéphane Caro, Broderick Crawford, Éric Monfroy
Robust Solutions for a Robotic Manipulator Optimization Problem. IWINAC (2) (2013)
Broderick Crawford, Ricardo Soto, Éric Monfroy
Cultural Algorithms for the Set Covering Problem. ICSI (2) (2013)
Ricardo Soto, Broderick Crawford, Diego Riquelme, Éric Monfroy
A GUI for Modeling Regular Constraints. HCI (28) (2013)
Éric Monfroy, Carlos Castro, Broderick Crawford, Ricardo Soto, Fernando Paredes, Christian Figueroa
A reactive and hybrid constraint solver. J. Exp. Theor. Artif. Intell. 25 (1) (2013)
Broderick Crawford, Ricardo Soto, Éric Monfroy, Wenceslao Palma, Carlos Castro, Fernando Paredes
Parameter tuning of a choice-function based hyperheuristic using Particle Swarm Optimization. Expert Syst. Appl. 40 (5) (2013)
Ricardo Soto, Broderick Crawford, Cristian Galleguillos, Éric Monfroy, Fernando Paredes
A hybrid AC3-tabu search algorithm for solving Sudoku puzzles. Expert Syst. Appl. 40 (15) (2013)
Broderick Crawford, Claudio León de la Barra, Ricardo Soto, Sanjay Misra, Éric Monfroy
Knowledge Management and Creativity in Software Engineering - The Foundations of Agility. ICEIS (2) (2013)
Ricardo Soto, Broderick Crawford, Rodrigo Bertrand, Éric Monfroy
Nurse Rostering with Soft Constraints - Evidence from Chilean Mid-size Health Care Centers. ICEIS (1) (2013)
Broderick Crawford, Ricardo Soto, Franklin Johnson, Éric Monfroy
Ants Can Schedule Software Projects. HCI (28) (2013)
Ricardo Soto, Håkan Kjellerstrand, Juan Gutiérrez, Alexis López, Broderick Crawford, Éric Monfroy
Solving Manufacturing Cell Design Problems Using Constraint Programming. IEA/AIE (2012)
Broderick Crawford, Carlos Castro, Éric Monfroy, Ricardo Soto, Wenceslao Palma, Fernando Paredes
A Hyperheuristic Approach for Guiding Enumeration in Constraint Solving. EVOLVE (2012)
Ricardo Soto, Håkan Kjellerstrand, Orlando Durán, Broderick Crawford, Éric Monfroy, Fernando Paredes
Cell formation in group technology using constraint programming and Boolean satisfiability. Expert Syst. Appl. 39 (13) (2012)
Claudio Valenzuela, Broderick Crawford, Ricardo Soto, Éric Monfroy, Fernando Paredes
A 2-level Metaheuristic for the Set Covering Problem. Int. J. Comput. Commun. Control 7 (2) (2012)
Broderick Crawford, Claudio León de la Barra, Ricardo Soto, Éric Monfroy
Agile software engineering as creative work. CHASE (2012)
Broderick Crawford, Claudio León de la Barra, Ricardo Soto, Sanjay Misra, Éric Monfroy
Knowledge Management and Creativity Practices in Software Engineering. KMIS (2012)
Ricardo Soto, Broderick Crawford, Éric Monfroy, Víctor Bustos
Using Autonomous Search for Generating Good Enumeration Strategy Blends in Constraint Programming. ICCSA (3) (2012)
Broderick Crawford, Ricardo Soto, Carlos Castro, Éric Monfroy
Extensible CP-Based Autonomous Search. HCI (22) (2011)
Éric Monfroy, Carlos Castro, Broderick Crawford, Christian Figueroa
Adaptive hybridization strategies. SAC (2011)
Broderick Crawford, Ricardo Soto, Carlos Castro, Éric Monfroy
A Hyperheuristic Approach for Dynamic Enumeration Strategy Selection in Constraint Satisfaction. IWINAC (2) (2011)
Broderick Crawford, Ricardo Soto, Mauricio Montecinos, Carlos Castro, Éric Monfroy
Solver. IEA/AIE (1) (2011)
Éric Monfroy
by Thom Frühwirth, Cambridge University Press, 2009. Hard cover: ISBN 978-0-521-87776-3. Theory Pract. Log. Program. 11 (1) (2011)
Renzo Pizarro, Gianni Rivera, Ricardo Soto, Broderick Crawford, Carlos Castro, Éric Monfroy
Constraint-Based Nurse Rostering for the Valparaíso Clinic Center in Chile. HCI (23) (2011)
Broderick Crawford, Carlos Castro, Éric Monfroy
Using a Choice Function for Guiding Enumeration in Constraint Solving. MICAI (Special Sessions) (2010)
Broderick Crawford, Carlos Castro, Éric Monfroy
A New ACO Transition Rule for Set Partitioning and Covering Problems. SoCPaR (2009)
Frédéric Lardeux, Éric Monfroy, Frédéric Saubion, Broderick Crawford, Carlos Castro
SAT Encoding and CSP Reduction for Interconnected Alldiff Constraints. MICAI (2009)
Broderick Crawford, Mauricio Montecinos, Carlos Castro, Éric Monfroy
A Choice Function to Dynamic Selection of Enumeration Strategies Solving Constraint Satisfaction Problems. SoCPaR (2009)
Pablo Garrido, Carlos Castro, Éric Monfroy
Towards a Flexible and Adaptable Hyperheuristic Approach for VRPs. IC-AI (2009)
Carlos Castro, Éric Monfroy
Some Results on the design of Balanced Academic Curricula. CLEI Electron. J. 12 (1) (2009)
Frédéric Lardeux, Éric Monfroy, Frédéric Saubion
Interleaved Alldifferent Constraints: CSP vs. SAT Approaches. AIMSA (2008)
Éric Monfroy, Oliver Perri, Christophe Ringeissen
Modelando la composición de servicios web con restricciones. Rev. Avances en Sistemas Informática 5 (1) (2008)
Éric Monfroy, Frédéric Saubion, Broderick Crawford, Carlos Castro
Local Search as a Fixed Point of Functions. ICEIS (2) (2008)
Éric Monfroy, Frédéric Saubion, Broderick Crawford, Carlos Castro
A Theoretical Framework for Local Search Techniques. CSE (2008)
Éric Monfroy, Olivier Perrin, Christophe Ringeissen
Dynamic Web Services Provisioning with Constraints. OTM Conferences (1) (2008)
Broderick Crawford, Carlos Castro, Éric Monfroy
Constraint Programming Can Help Ants Solving Highly Constrainted Combinatorial Problems. ICSOFT (PL/DPS/KE) (2008)
Broderick Crawford, Carlos Castro, Éric Monfroy
Integration of Constraint Programming and Metaheuristics. SARA (2007)
Broderick Crawford, Carlos Castro, Éric Monfroy
Knowledge Management in the Development of Optimization Algorithms. HCI (8) (2007)
Broderick Crawford, Carlos Castro, Éric Monfroy
Solving Dial-a-Ride Problems with a Low-Level Hybridization of Ants and Constraint Programming. IWINAC (2) (2007)
Carlos Castro, Broderick Crawford, Éric Monfroy
A Quantitative Approach for the Design of Academic Curricula. HCI (9) (2007)
Broderick Crawford, Carlos Castro, Éric Monfroy, Claudio Cubillos
Decomposition Approach to Solve Dial-a-Ride Problems Using Ant Computing and Constraint Programming. BVAI (2007)
Broderick Crawford, Carlos Castro, Éric Monfroy
Development of Algorithms to Solve Combinatorial Problems. ICEIS (3) (2007)
Tony Lambert, Carlos Castro, Éric Monfroy, Frédéric Saubion
Solving the Balanced Academic Curriculum Problem with an Hybridization of Genetic Algorithm and Constraint Propagation. ICAISC (2006)
Tony Lambert, Éric Monfroy, Frédéric Saubion
A Generic Framework for Local Search: Application to the Sudoku Problem. International Conference on Computational Science (1) (2006)
Broderick Crawford, Carlos Castro, Éric Monfroy
A Hybrid Ant Algorithm for the Airline Crew Pairing Problem. MICAI (2006)
Broderick Crawford, Carlos Castro, Éric Monfroy
A Constructive Hybrid Algorithm for Crew Pairing Optimization. AIMSA (2006)
Éric Monfroy, Carlos Castro, Broderick Crawford
Using Local Search for Guiding Enumeration in Constraint Solving. AIMSA (2006)
Broderick Crawford, Carlos Castro, Éric Monfroy
Knowledge Management in Different Software Development Approaches. ADVIS (2006)
Éric Monfroy, Carlos Castro, Broderick Crawford
Adaptive Enumeration Strategies and Metabacktracks for Constraint Solving. ADVIS (2006)
Stefano Bistarelli, Éric Monfroy, Barry O'Sullivan
Special track editorial: constraint solving and programming. SAC (2006)
Tony Lambert, Éric Monfroy, Frédéric Saubion
Solving strategies using a hybridization model for local search and constraint propagation. SAC (2005)
Éric Monfroy, Frédéric Saubion, Tony Lambert
Hybrid CSP Solving. FroCoS (2005)

Éric Monfroy.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Éric Monfroy