Éric Monfroy

Theory Pract. Log. Program., 2015

Boosting autonomous search for CSPs via skylines.

[BibT_eX]

[DOI]

Inf. Sci., 2015

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

[BibT_eX]

[DOI]

Ann. Oper. Res., 2015

Verifying a Real-Time Language with Constraints.

[BibT_eX]

[DOI]

Anicet Bart

Charlotte Truchet

Proceedings of the 27th IEEE International Conference on Tools with Artificial Intelligence, 2015

Expressively Modeling the Social Golfer Problem in SAT.

[BibT_eX]

[DOI]

Frédéric Lardeux

Proceedings of the International Conference on Computational Science, 2015

Towards a Framework for Adaptive Constraint Propagation.

[BibT_eX]

[DOI]

Proceedings of the HCI International 2015 - Posters' Extended Abstracts, 2015

2014

A Max-Min Ant System algorithm to solve the Software Project Scheduling Problem.

[BibT_eX]

[DOI]

Expert Syst. Appl., 2014

Easy Modeling of Open Pit Mining Problems via Constraint Programming.

[BibT_eX]

[DOI]

Proceedings of the HCI International 2014 - Posters' Extended Abstracts, 2014

Modeling Manufacturing Cell Design Problems: CP vs. MH.

[BibT_eX]

[DOI]

Proceedings of the HCI International 2014 - Posters' Extended Abstracts, 2014

Autonomous Search: Towards the Easy Tuning of Constraint Programming Solvers.

[BibT_eX]

[DOI]

Proceedings of the HCI International 2014 - Posters' Extended Abstracts, 2014

Self-adaptive Systems: Facilitating the Use of Combinatorial Problem Solvers.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Modern Trends and Techniques in Computer Science, 2014

From Declarative Set Constraint Models to "Good" SAT Instances.

[BibT_eX]

[DOI]

Frédéric Lardeux

Proceedings of the Artificial Intelligence and Symbolic Computation, 2014

2013

A reactive and hybrid constraint solver.

[BibT_eX]

[DOI]

J. Exp. Theor. Artif. Intell., 2013

A hybrid AC3-tabu search algorithm for solving Sudoku puzzles.

[BibT_eX]

[DOI]

Cristian Galleguillos

Fernando Paredes

Expert Syst. Appl., 2013

Parameter tuning of a choice-function based hyperheuristic using Particle Swarm Optimization.

[BibT_eX]

[DOI]

Expert Syst. Appl., 2013

Cultural Algorithms for the Set Covering Problem.

[BibT_eX]

[DOI]

Proceedings of the Advances in Swarm Intelligence, 4th International Conference, 2013

Robust Solutions for a Robotic Manipulator Optimization Problem.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the ICEIS 2013, 2013

Knowledge Management and Creativity in Software Engineering - The Foundations of Agility.

[BibT_eX]

[DOI]

Sanjay Misra

Proceedings of the ICEIS 2013, 2013

Automatic Triggering of Constraint Propagation.

[BibT_eX]

[DOI]

Proceedings of the Computational Science and Its Applications - ICCSA 2013, 2013

Agile Software Development: It Is about Knowledge Management and Creativity.

[BibT_eX]

[DOI]

Proceedings of the Computational Science and Its Applications - ICCSA 2013, 2013

Interleaving Constraint Propagation: An Efficient Cooperative Search with Branch and Bound.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Metaheuristics - 8th International Workshop, 2013

A GUI for Modeling Regular Constraints.

[BibT_eX]

[DOI]

Proceedings of the HCI International 2013 - Posters' Extended Abstracts, 2013

Ants Can Schedule Software Projects.

[BibT_eX]

[DOI]

Proceedings of the HCI International 2013 - Posters' Extended Abstracts, 2013

The Role of Knowledge Management in Agile Software Development.

[BibT_eX]

[DOI]

Mario Dorochesi

Proceedings of the HCI International 2013 - Posters' Extended Abstracts, 2013

Modeling the Portfolio Selection Problem with Constraint Programming.

[BibT_eX]

[DOI]

Proceedings of the HCI International 2013 - Posters' Extended Abstracts, 2013

Adaptive and Multilevel Approach for Constraint Solving.

[BibT_eX]

[DOI]

Proceedings of the HCI International 2013 - Posters' Extended Abstracts, 2013

2012

A 2-level Metaheuristic for the Set Covering Problem.

[BibT_eX]

[DOI]

Int. J. Comput. Commun. Control, 2012

Cell formation in group technology using constraint programming and Boolean satisfiability.

[BibT_eX]

[DOI]

Expert Syst. Appl., 2012

Solving Manufacturing Cell Design Problems Using Constraint Programming.

[BibT_eX]

[DOI]

Proceedings of the Advanced Research in Applied Artificial Intelligence, 2012

Agile software engineering as creative work.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Computational Science and Its Applications - ICCSA 2012, 2012

Knowledge Management and Creativity Practices in Software Engineering.

[BibT_eX]

Sanjay Misra

Proceedings of the KMIS 2012, 2012

A Hyperheuristic Approach for Guiding Enumeration in Constraint Solving.

[BibT_eX]

[DOI]

Proceedings of the EVOLVE, 2012

An Introduction to Autonomous Search.

[BibT_eX]

[DOI]

Youssef Hamadi

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.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2011

Adaptive hybridization strategies.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the New Challenges on Bioinspired Applications, 2011

A Framework for Autonomous Search in the Eclipse Solver.

[BibT_eX]

[DOI]

Proceedings of the Modern Approaches in Applied Intelligence, 2011

Constraint-Based Nurse Rostering for the Valparaíso Clinic Center in Chile.

[BibT_eX]

[DOI]

Proceedings of the HCI International 2011 - Posters' Extended Abstracts, 2011

Extensible CP-Based Autonomous Search.

[BibT_eX]

[DOI]

Proceedings of the HCI International 2011 - Posters' Extended Abstracts, 2011

2010

Using a Choice Function for Guiding Enumeration in Constraint Solving.

[BibT_eX]

[DOI]

Proceedings of the 9th Mexican International Conference on Artificial Intelligence, 2010

2009

Some Results on the design of Balanced Academic Curricula.

[BibT_eX]

[DOI]

CLEI Electron. J., 2009

A Choice Function to Dynamic Selection of Enumeration Strategies Solving Constraint Satisfaction Problems.

[BibT_eX]

[DOI]

Proceedings of the First International Conference of Soft Computing and Pattern Recognition, 2009

A New ACO Transition Rule for Set Partitioning and Covering Problems.

[BibT_eX]

[DOI]

Proceedings of the First International Conference of Soft Computing and Pattern Recognition, 2009

SAT Encoding and CSP Reduction for Interconnected Alldiff Constraints.

[BibT_eX]

[DOI]

Proceedings of the MICAI 2009: Advances in Artificial Intelligence, 2009

Towards a Flexible and Adaptable Hyperheuristic Approach for VRPs.

[BibT_eX]

Pablo Garrido

Proceedings of the 2009 International Conference on Artificial Intelligence, 2009

2008

Modelando la composición de servicios web con restricciones.

[BibT_eX]

[DOI]

Oliver Perri

Rev. Avances en Sistemas Informática, 2008

Dynamic Web Services Provisioning with Constraints.

[BibT_eX]

[DOI]

Olivier Perrin

Proceedings of the On the Move to Meaningful Internet Systems: OTM 2008, 2008

Constraint Programming Can Help Ants Solving Highly Constrainted Combinatorial Problems.

[BibT_eX]

Proceedings of the ICSOFT 2008, 2008

Local Search as a Fixed Point of Functions.

[BibT_eX]

Proceedings of the ICEIS 2008, 2008

A Theoretical Framework for Local Search Techniques.

[BibT_eX]

[DOI]

Proceedings of the 11th IEEE International Conference on Computational Science and Engineering, 2008

Interleaved Alldifferent Constraints: CSP vs. SAT Approaches.

[BibT_eX]

[DOI]

Frédéric Lardeux

Proceedings of the Artificial Intelligence: Methodology, 2008

2007

Integration of Constraint Programming and Metaheuristics.

[BibT_eX]

[DOI]

Proceedings of the Abstraction, 2007

Solving Dial-a-Ride Problems with a Low-Level Hybridization of Ants and Constraint Programming.

[BibT_eX]

[DOI]

Proceedings of the Nature Inspired Problem-Solving Methods in Knowledge Engineering, 2007

Development of Algorithms to Solve Combinatorial Problems.

[BibT_eX]

Proceedings of the ICEIS 2007, 2007

Knowledge Management in the Development of Optimization Algorithms.

[BibT_eX]

[DOI]

Proceedings of the Human Interface and the Management of Information. Methods, 2007

A Quantitative Approach for the Design of Academic Curricula.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Advances in Brain, 2007

2006

Special track editorial: constraint solving and programming.

[BibT_eX]

[DOI]

Stefano Bistarelli

Barry O'Sullivan

Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

A Hybrid Ant Algorithm for the Airline Crew Pairing Problem.

[BibT_eX]

[DOI]

Proceedings of the MICAI 2006: Advances in Artificial Intelligence, 2006

A Generic Framework for Local Search: Application to the Sudoku Problem.

[BibT_eX]

[DOI]

Proceedings of the Computational Science, 2006

Solving the Balanced Academic Curriculum Problem with an Hybridization of Genetic Algorithm and Constraint Propagation.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence and Soft Computing, 2006

Using Local Search for Guiding Enumeration in Constraint Solving.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence: Methodology, 2006

A Constructive Hybrid Algorithm for Crew Pairing Optimization.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence: Methodology, 2006

Adaptive Enumeration Strategies and Metabacktracks for Constraint Solving.

[BibT_eX]

[DOI]

Proceedings of the Advances in Information Systems, 4th International Conference, 2006

Knowledge Management in Different Software Development Approaches.

[BibT_eX]

[DOI]

Proceedings of the Advances in Information Systems, 4th International Conference, 2006

2005

Solving strategies using a hybridization model for local search and constraint propagation.

[BibT_eX]

[DOI]

Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005

Editorial: special track on constraint solving and programming.

[BibT_eX]

[DOI]

Stefano Bistarelli

Barry O'Sullivan

Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005

An Approach for Dynamic Split Strategies in Constraint Solving.

[BibT_eX]

[DOI]

Proceedings of the MICAI 2005: Advances in Artificial Intelligence, 2005

Hybridization of Genetic Algorithms and Constraint Propagation for the BACP.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 21st International Conference, 2005

Hybrid CSP Solving.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2004

Itérations chaotiques pour l'hybridation propagation de contraintes/recherche locale.

[BibT_eX]

Proceedings of the Programmation en logique avec contraintes, 2004

On Hybridization of Local Search and Constraint Propagation.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 20th International Conference, 2004

Designing Hybrid Cooperations with a Component Language for Solving Optimisation Problems.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence: Methodology, 2004

A Component Language for Hybrid Solver Cooperations.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Tech. Sci. Informatiques, 2003

Deductive Generation of Constraint Propagation Rules.

[BibT_eX]

[DOI]

Sebastian Brand

Proceedings of the 4th International Workshop on Rule-Based Programming, 2003

Constraint-based analysis of composite solvers

[BibT_eX]

[DOI]

Evgueni Petrov

CoRR, 2003

Basic Components for Constraint Solver Cooperations.

[BibT_eX]

[DOI]

Proceedings of the 2003 ACM Symposium on Applied Computing (SAC), 2003

Implementing Constraint Propagation by Composition of Reductions.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 19th International Conference, 2003

Separating Search and Strategy in Solver Cooperations.

[BibT_eX]

[DOI]

Brice Pajot

Proceedings of the Perspectives of Systems Informatics, 2003

A Rule Language for Interaction.

[BibT_eX]

[DOI]

Proceedings of the Recent Advances in Constraints, 2003

2002

Raisonnement sur les propriétés de contraintes numériques.

[BibT_eX]

Proceedings of the Programmation en logique avec contraintes, 2002

Automatic Analysis of Composite Solvers.

[BibT_eX]

[DOI]

Evgueni Petrov

Proceedings of the 14th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2002), 2002

Beyond NP: Arc-Consistency for Quantified Constraints.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2002

Towards Automated Reasoning on the Properties of Numerical Constraints.

[BibT_eX]

[DOI]

Proceedings of the Recent Advances in Constraints, 2002

2001

Constraint programming viewed as rule-based programming.

[BibT_eX]

[DOI]

Krzysztof R. Apt

Theory Pract. Log. Program., 2001

Enhancing Constraint Propagation with Composition Operators

[BibT_eX]

[DOI]

CoRR, 2001

Control-Driven Constraint Propagation.

[BibT_eX]

[DOI]

Appl. Artif. Intell., 2001

Amélioration de la complexité des kB-consistances.

[BibT_eX]

Proceedings of the Programmation en logique avec contraintes, Actes des JFPLC'2001, 24 avril, 2001

Symbolic-interval cooperation in constraint programming.

[BibT_eX]

[DOI]

Proceedings of the 2001 International Symposium on Symbolic and Algebraic Computation, 2001

Improved bounds on the complexity of kB-consistency.

[BibT_eX]

Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001

A Graphical Interface for Solver Cooperations.

[BibT_eX]

[DOI]

Proceedings of the Perspectives of System Informatics, 2001

Composition Operators for Constraint Propagation: An Application to Choco.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2001

Constraints Solving as the Coordination of Inference Engines.

[BibT_eX]

Farhad Arbab

Proceedings of the Coordination of Internet Agents: Models, Technologies, and Applications, 2001

2000

A Coordination-based Chaotic Iteration Algorithm for Constraint Propagation.

[BibT_eX]

[DOI]

Proceedings of the Applied Computing 2000, 2000

Fixing, Completing and Mapping Information Using Constraints.

[BibT_eX]

Freek van Teeseling

Proceedings of the Second International Conference on the Practical Application of Constraint Technologies and Logic Programming, 2000

Modélisation déclarative de stratégies de propagation de contraintes.

[BibT_eX]

Proceedings of the Programmation en logique avec contraintes, 2000

Constraint Propagation: Between Abstract Models and ad hoc Strategies.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2000

Distributed Splitting of Constraint Satisfaction Problems.

[BibT_eX]

[DOI]

Farhad Arbab

Proceedings of the Coordination Languages and Models, 4th International Conference, 2000

Basic Operators for Solving Constraints via Collaboration of Solvers.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence and Symbolic Computation, 2000

Declarative Modelling of Constraint Propagation Strategies.

[BibT_eX]

[DOI]

Proceedings of the Advances in Information Systems, First International Conference, 2000

1999

An Open Automated Framework for Constraint Solver Extension: the SoleX Approach.

[BibT_eX]

[DOI]

Fundam. Informaticae, 1999

Chaotic Iteration for Distributed Constraint Propagation.

[BibT_eX]

[DOI]

Jean-Hugues Réty

Proceedings of the 1999 ACM Symposium on Applied Computing, 1999

Using "Weaker" Functions for Constraint Propagation Over Real Numbers.

[BibT_eX]

[DOI]

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.

[BibT_eX]

Jean-Hugues Réty

Proceedings of the JFPLC'99, 1999

A Control Language for Designing Constraint Solvers.

[BibT_eX]

[DOI]

Proceedings of the Perspectives of System Informatics, 1999

From Solver Collaboration Expressions to Communicating and Coordinated Agents.

[BibT_eX]

Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999

Automatic Generation of Constraint Propagation Algorithms for Small Finite Domains.

[BibT_eX]

[DOI]

Krzysztof R. Apt

Proceedings of the Principles and Practice of Constraint Programming, 1999

Generating Propagation Rules for Finite Domains: A Mixed Approach.

[BibT_eX]

[DOI]

Proceedings of the New Trends in Contraints, 1999

1998

An Environment for Designing/Executing Constraint Solver Collaborations.

[BibT_eX]

[DOI]

Proceedings of the Second Workshop on Concurrent Constraint Programming for Time Critical Applications and Multi-Agent Systems, 1998

Using coordination for cooperative constraint solving.

[BibT_eX]

[DOI]

Farhad Arbab

Proceedings of the 1998 ACM symposium on Applied Computing, 1998

A Solver Collaboration in BALI.

[BibT_eX]

Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming, 1998

The Constraint Solver Collaboration Language of BALI.

[BibT_eX]

Proceedings of the Frontiers of Combining Systems, Second International Workshop, 1998

SoleX: A Domain-Independent Scheme for Constraint Solver Extension.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence and Symbolic Computation, 1998

1996

Collaboration de solveurs pour la programmation logique à contraintes. (Solver collaboration for constraint logic programming).

[BibT_eX]

[DOI]

PhD thesis, 1996

Implementing non-linear constraints with cooperative solvers.

[BibT_eX]

[DOI]

Michaël Rusinowitch

René Schott

Proceedings of the 1996 ACM Symposium on Applied Computing, 1996

1992

Contraint Logic Programming - An Informal Introduction.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming in Action, 1992

Gröbner Bases: Strategies and Applications.

[BibT_eX]

[DOI]