Eric Monfroy

According to our database1, Eric Monfroy authored at least 128 papers between 1992 and 2020.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
Improving complex SMT strategies with learning.
ITOR, 2020

2019
Combining Constraint Languages via Abstract Interpretation.
Proceedings of the 31st IEEE International Conference on Tools with Artificial Intelligence, 2019

2018
Reachability in parametric Interval Markov Chains using constraints.
Theor. Comput. Sci., 2018

Optimizing SMT Solving Strategies by Learning with an Evolutionary Process.
Proceedings of the 2018 International Conference on High Performance Computing & Simulation, 2018

2017
A global constraint for over-approximation of real-time streams.
Constraints, 2017

A Meta-Optimization Approach for Covering Problems in Facility Location.
Proceedings of the Applied Computer Sciences in Engineering, 2017

Reachability in Parametric Interval Markov Chains Using Constraints.
Proceedings of the Quantitative Evaluation of Systems - 14th International Conference, 2017

2016
Evolving SMT Strategies.
Proceedings of the 28th IEEE International Conference on Tools with Artificial Intelligence, 2016

From Set Constraint Models to SAT Instances.
Proceedings of the 28th IEEE International Conference on Tools with Artificial Intelligence, 2016

Towards Automated Strategies in Satisfiability Modulo Theory.
Proceedings of the Genetic Programming - 19th European Conference, 2016

2015
A Gentle Guide to Constraint Logic Programming via ECLiPSe by Antoni Niederliński, xiii + 509 pages, published by Jacek Skalmierski Computer Studio, Third Edition, 2014.
Theory Pract. Log. Program., 2015

Boosting autonomous search for CSPs via skylines.
Inf. Sci., 2015

Set constraint model and automated encoding into SAT: application to the social golfer problem.
Annals OR, 2015

Verifying a Real-Time Language with Constraints.
Proceedings of the 27th IEEE International Conference on Tools with Artificial Intelligence, 2015

Expressively Modeling the Social Golfer Problem in SAT.
Proceedings of the International Conference on Computational Science, 2015

Towards a Framework for Adaptive Constraint Propagation.
Proceedings of the HCI International 2015 - Posters' Extended Abstracts, 2015

2014
A Max-Min Ant System algorithm to solve the Software Project Scheduling Problem.
Expert Syst. Appl., 2014

Easy Modeling of Open Pit Mining Problems via Constraint Programming.
Proceedings of the HCI International 2014 - Posters' Extended Abstracts, 2014

Modeling Manufacturing Cell Design Problems: CP vs. MH.
Proceedings of the HCI International 2014 - Posters' Extended Abstracts, 2014

Autonomous Search: Towards the Easy Tuning of Constraint Programming Solvers.
Proceedings of the HCI International 2014 - Posters' Extended Abstracts, 2014

Self-adaptive Systems: Facilitating the Use of Combinatorial Problem Solvers.
Proceedings of the HCI International 2014 - Posters' Extended Abstracts, 2014

A New Approach to Solve the Software Project Scheduling Problem Based on Max-Min Ant System.
Proceedings of the Modern Trends and Techniques in Computer Science, 2014

From Declarative Set Constraint Models to "Good" SAT Instances.
Proceedings of the Artificial Intelligence and Symbolic Computation, 2014

2013
A reactive and hybrid constraint solver.
J. Exp. Theor. Artif. Intell., 2013

A hybrid AC3-tabu search algorithm for solving Sudoku puzzles.
Expert Syst. Appl., 2013

Parameter tuning of a choice-function based hyperheuristic using Particle Swarm Optimization.
Expert Syst. Appl., 2013

Cultural Algorithms for the Set Covering Problem.
Proceedings of the Advances in Swarm Intelligence, 4th International Conference, 2013

Robust Solutions for a Robotic Manipulator Optimization Problem.
Proceedings of the Natural and Artificial Computation in Engineering and Medical Applications, 2013

Nurse Rostering with Soft Constraints - Evidence from Chilean Mid-size Health Care Centers.
Proceedings of the ICEIS 2013, 2013

Knowledge Management and Creativity in Software Engineering - The Foundations of Agility.
Proceedings of the ICEIS 2013, 2013

Automatic Triggering of Constraint Propagation.
Proceedings of the Computational Science and Its Applications - ICCSA 2013, 2013

Agile Software Development: It Is about Knowledge Management and Creativity.
Proceedings of the Computational Science and Its Applications - ICCSA 2013, 2013

Interleaving Constraint Propagation: An Efficient Cooperative Search with Branch and Bound.
Proceedings of the Hybrid Metaheuristics - 8th International Workshop, 2013

A GUI for Modeling Regular Constraints.
Proceedings of the HCI International 2013 - Posters' Extended Abstracts, 2013

Ants Can Schedule Software Projects.
Proceedings of the HCI International 2013 - Posters' Extended Abstracts, 2013

The Role of Knowledge Management in Agile Software Development.
Proceedings of the HCI International 2013 - Posters' Extended Abstracts, 2013

Modeling the Portfolio Selection Problem with Constraint Programming.
Proceedings of the HCI International 2013 - Posters' Extended Abstracts, 2013

Adaptive and Multilevel Approach for Constraint Solving.
Proceedings of the HCI International 2013 - Posters' Extended Abstracts, 2013

2012
Cell formation in group technology using constraint programming and Boolean satisfiability.
Expert Syst. Appl., 2012

Solving Manufacturing Cell Design Problems Using Constraint Programming.
Proceedings of the Advanced Research in Applied Artificial Intelligence, 2012

Agile software engineering as creative work.
Proceedings of the 5th International Workshop on Co-operative and Human Aspects of Software Engineering, 2012

Using Autonomous Search for Generating Good Enumeration Strategy Blends in Constraint Programming.
Proceedings of the Computational Science and Its Applications - ICCSA 2012, 2012

Knowledge Management and Creativity Practices in Software Engineering.
Proceedings of the KMIS 2012, 2012

A Hyperheuristic Approach for Guiding Enumeration in Constraint Solving.
Proceedings of the EVOLVE, 2012

An Introduction to Autonomous Search.
Proceedings of the Autonomous Search, 2012

2011
Constraint Handling Rules by Thom Frühwirth, Cambridge University Press, 2009. Hard cover: ISBN 978-0-521-87776-3.
Theory Pract. Log. Program., 2011

Adaptive hybridization strategies.
Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011

A Hyperheuristic Approach for Dynamic Enumeration Strategy Selection in Constraint Satisfaction.
Proceedings of the New Challenges on Bioinspired Applications, 2011

A Framework for Autonomous Search in the Eclipse Solver.
Proceedings of the Modern Approaches in Applied Intelligence, 2011

Constraint-Based Nurse Rostering for the Valparaíso Clinic Center in Chile.
Proceedings of the HCI International 2011 - Posters' Extended Abstracts, 2011

Extensible CP-Based Autonomous Search.
Proceedings of the HCI International 2011 - Posters' Extended Abstracts, 2011

2010
Using a Choice Function for Guiding Enumeration in Constraint Solving.
Proceedings of the 9th Mexican International Conference on Artificial Intelligence, 2010

2009
Some Results on the design of Balanced Academic Curricula.
CLEI Electron. J., 2009

A Choice Function to Dynamic Selection of Enumeration Strategies Solving Constraint Satisfaction Problems.
Proceedings of the First International Conference of Soft Computing and Pattern Recognition, 2009

A New ACO Transition Rule for Set Partitioning and Covering Problems.
Proceedings of the First International Conference of Soft Computing and Pattern Recognition, 2009

SAT Encoding and CSP Reduction for Interconnected Alldiff Constraints.
Proceedings of the MICAI 2009: Advances in Artificial Intelligence, 2009

Towards a Flexible and Adaptable Hyperheuristic Approach for VRPs.
Proceedings of the 2009 International Conference on Artificial Intelligence, 2009

2008
Modelando la composición de servicios web con restricciones.
RASI, 2008

Dynamic Web Services Provisioning with Constraints.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2008, 2008

Constraint Programming Can Help Ants Solving Highly Constrainted Combinatorial Problems.
Proceedings of the ICSOFT 2008, 2008

Local Search as a Fixed Point of Functions.
Proceedings of the ICEIS 2008, 2008

A Theoretical Framework for Local Search Techniques.
Proceedings of the 11th IEEE International Conference on Computational Science and Engineering, 2008

Interleaved Alldifferent Constraints: CSP vs. SAT Approaches.
Proceedings of the Artificial Intelligence: Methodology, 2008

2007
Integration of Constraint Programming and Metaheuristics.
Proceedings of the Abstraction, 2007

Solving Dial-a-Ride Problems with a Low-Level Hybridization of Ants and Constraint Programming.
Proceedings of the Nature Inspired Problem-Solving Methods in Knowledge Engineering, 2007

Development of Algorithms to Solve Combinatorial Problems.
Proceedings of the ICEIS 2007, 2007

Knowledge Management in the Development of Optimization Algorithms.
Proceedings of the Human Interface and the Management of Information. Methods, 2007

A Quantitative Approach for the Design of Academic Curricula.
Proceedings of the Human Interface and the Management of Information. Interacting in Information Environments, 2007

Decomposition Approach to Solve Dial-a-Ride Problems Using Ant Computing and Constraint Programming.
Proceedings of the Advances in Brain, 2007

2006
Special track editorial: constraint solving and programming.
Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

A Hybrid Ant Algorithm for the Airline Crew Pairing Problem.
Proceedings of the MICAI 2006: Advances in Artificial Intelligence, 2006

A Generic Framework for Local Search: Application to the Sudoku Problem.
Proceedings of the Computational Science, 2006

Solving the Balanced Academic Curriculum Problem with an Hybridization of Genetic Algorithm and Constraint Propagation.
Proceedings of the Artificial Intelligence and Soft Computing, 2006

Using Local Search for Guiding Enumeration in Constraint Solving.
Proceedings of the Artificial Intelligence: Methodology, 2006

A Constructive Hybrid Algorithm for Crew Pairing Optimization.
Proceedings of the Artificial Intelligence: Methodology, 2006

Adaptive Enumeration Strategies and Metabacktracks for Constraint Solving.
Proceedings of the Advances in Information Systems, 4th International Conference, 2006

Knowledge Management in Different Software Development Approaches.
Proceedings of the Advances in Information Systems, 4th International Conference, 2006

2005
Solving strategies using a hybridization model for local search and constraint propagation.
Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005

Editorial: special track on constraint solving and programming.
Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005

An Approach for Dynamic Split Strategies in Constraint Solving.
Proceedings of the MICAI 2005: Advances in Artificial Intelligence, 2005

Hybridization of Genetic Algorithms and Constraint Propagation for the BACP.
Proceedings of the Logic Programming, 21st International Conference, 2005

Hybrid CSP Solving.
Proceedings of the Frontiers of Combining Systems, 5th International Workshop, 2005

2004
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., 2004

Itérations chaotiques pour l'hybridation propagation de contraintes/recherche locale.
Proceedings of the Programmation en logique avec contraintes, 2004

On Hybridization of Local Search and Constraint Propagation.
Proceedings of the Logic Programming, 20th International Conference, 2004

Designing Hybrid Cooperations with a Component Language for Solving Optimisation Problems.
Proceedings of the Artificial Intelligence: Methodology, 2004

A Component Language for Hybrid Solver Cooperations.
Proceedings of the Advances in Information Systems, Third International Conference, 2004

2003
Extraction de programmes à partir de spécifications en logique existentielle du second ordre par compilation de connaissances.
Technique et Science Informatiques, 2003

Deductive Generation of Constraint Propagation Rules.
Electron. Notes Theor. Comput. Sci., 2003

Constraint-based analysis of composite solvers
CoRR, 2003

Basic Components for Constraint Solver Cooperations.
Proceedings of the 2003 ACM Symposium on Applied Computing (SAC), 2003

Implementing Constraint Propagation by Composition of Reductions.
Proceedings of the Logic Programming, 19th International Conference, 2003

Separating Search and Strategy in Solver Cooperations.
Proceedings of the Perspectives of Systems Informatics, 2003

A Rule Language for Interaction.
Proceedings of the Recent Advances in Constraints, 2003

2002
Raisonnement sur les propriétés de contraintes numériques.
Proceedings of the Programmation en logique avec contraintes, 2002

Automatic Analysis of Composite Solvers.
Proceedings of the 14th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2002), 2002

Beyond NP: Arc-Consistency for Quantified Constraints.
Proceedings of the Principles and Practice of Constraint Programming, 2002

Towards Automated Reasoning on the Properties of Numerical Constraints.
Proceedings of the Recent Advances in Constraints, 2002

2001
Constraint programming viewed as rule-based programming.
Theory Pract. Log. Program., 2001

Enhancing Constraint Propagation with Composition Operators
CoRR, 2001

Control-Driven Constraint Propagation.
Applied Artificial Intelligence, 2001

Amélioration de la complexité des kB-consistances.
Proceedings of the Programmation en logique avec contraintes, Actes des JFPLC'2001, 24 avril, 2001

Symbolic-interval cooperation in constraint programming.
Proceedings of the 2001 International Symposium on Symbolic and Algebraic Computation, 2001

Improved bounds on the complexity of kB-consistency.
Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001

A Graphical Interface for Solver Cooperations.
Proceedings of the Perspectives of System Informatics, 2001

Composition Operators for Constraint Propagation: An Application to Choco.
Proceedings of the Principles and Practice of Constraint Programming, 2001

Constraints Solving as the Coordination of Inference Engines.
Proceedings of the Coordination of Internet Agents: Models, Technologies, and Applications, 2001

2000
A Coordination-based Chaotic Iteration Algorithm for Constraint Propagation.
Proceedings of the Applied Computing 2000, 2000

Modélisation déclarative de stratégies de propagation de contraintes.
Proceedings of the Programmation en logique avec contraintes, 2000

Constraint Propagation: Between Abstract Models and ad hoc Strategies.
Proceedings of the Principles and Practice of Constraint Programming, 2000

Distributed Splitting of Constraint Satisfaction Problems.
Proceedings of the Coordination Languages and Models, 4th International Conference, 2000

Basic Operators for Solving Constraints via Collaboration of Solvers.
Proceedings of the Artificial Intelligence and Symbolic Computation, 2000

Declarative Modelling of Constraint Propagation Strategies.
Proceedings of the Advances in Information Systems, First International Conference, 2000

1999
An Open Automated Framework for Constraint Solver Extension: the SoleX Approach.
Fundam. Inform., 1999

Chaotic Iteration for Distributed Constraint Propagation.
Proceedings of the 1999 ACM Symposium on Applied Computing, 1999

Using "Weaker" Functions for Constraint Propagation Over Real Numbers.
Proceedings of the 1999 ACM Symposium on Applied Computing, 1999

Itérations asynchrones: un cadre uniforme pour la propagation de contraintes parallèle et répartie.
Proceedings of the JFPLC'99, 1999

A Control Language for Designing Constraint Solvers.
Proceedings of the Perspectives of System Informatics, 1999

From Solver Collaboration Expressions to Communicating and Coordinated Agents.
Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999

Automatic Generation of Constraint Propagation Algorithms for Small Finite Domains.
Proceedings of the Principles and Practice of Constraint Programming, 1999

Generating Propagation Rules for Finite Domains: A Mixed Approach.
Proceedings of the New Trends in Contraints, 1999

1998
An Environment for Designing/Executing Constraint Solver Collaborations.
Electron. Notes Theor. Comput. Sci., 1998

Using coordination for cooperative constraint solving.
Proceedings of the 1998 ACM symposium on Applied Computing, 1998

A Solver Collaboration in BALI.
Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming, 1998

SoleX: A Domain-Independent Scheme for Constraint Solver Extension.
Proceedings of the Artificial Intelligence and Symbolic Computation, 1998

1996
Implementing non-linear constraints with cooperative solvers.
Proceedings of the 1996 ACM Symposium on Applied Computing, 1996

1992
Contraint Logic Programming - An Informal Introduction.
Proceedings of the Logic Programming in Action, 1992

Gröbner Bases: Strategies and Applications.
Proceedings of the Artificial Intelligence and Symbolic Mathematical Computation, 1992


  Loading...