| Publication | Date of Publication | Type |
|---|
Exploiting functional constraints in automatic dominance breaking for constraint optimization The Journal of Artificial Intelligence Research (JAIR) | 2023-10-23 | Paper |
Automatic generation of dominance breaking nogoods for a class of constraint optimization problems Artificial Intelligence | 2023-10-04 | Paper |
Branch \& Learn with Post-hoc correction for Predict+Optimize with unknown parameters in constraints Integration of Constraint Programming, Artificial Intelligence, and Operations Research | 2023-10-04 | Paper |
Towards breaking more composition symmetries in partial symmetry breaking Artificial Intelligence | 2017-11-21 | Paper |
Removing propagation redundant constraints in redundant modeling ACM Transactions on Computational Logic | 2017-07-12 | Paper |
Tractability-preserving transformations of global cost functions Artificial Intelligence | 2016-09-07 | Paper |
Consistency techniques for polytime linear global cost functions in weighted constraint satisfaction Constraints | 2015-04-29 | Paper |
Ultra-weak solutions and consistency enforcement in minimax weighted constraint satisfaction Constraints | 2015-04-29 | Paper |
Adding laziness in BnB-ADOPT\(^+\) Constraints | 2015-04-29 | Paper |
Multiset variable representations and constraint propagation Constraints | 2014-12-12 | Paper |
Consistency techniques for flow-based projection-safe global cost functions in weighted constraint satisfaction The Journal of Artificial Intelligence Research (JAIR) | 2012-05-16 | Paper |
Redundant modeling in permutation weighted constraint satisfaction problems Constraints | 2010-11-19 | Paper |
Solving finite domain constraint hierarchies by local consistency and tree search Lecture Notes in Computer Science | 2010-03-02 | Paper |
Principles and Practice of Constraint Programming – CP 2003 Lecture Notes in Computer Science | 2010-03-02 | Paper |
Propagation redundancy in redundant modelling Lecture Notes in Computer Science | 2010-03-02 | Paper |
Solving finite domain constraint hierarchies by local consistency and tree search Journal of Experimental & Theoretical Artificial Intelligence | 2010-01-29 | Paper |
Principles and Practice of Constraint Programming – CP 2004 Lecture Notes in Computer Science | 2008-09-09 | Paper |
Breaking Symmetry of Interchangeable Variables and Values Principles and Practice of Constraint Programming – CP 2007 | 2008-09-02 | Paper |
Automatic generation of redundant models for permutation constraint satisfaction problems Constraints | 2007-11-14 | Paper |
Symmetry breaking constraints for value symmetries in constraint satisfaction Constraints | 2006-11-03 | Paper |
A fuzzy constraint based model for bilateral, multi-issue negotiations in semi-competitive environments Artificial Intelligence | 2006-02-07 | Paper |
Extending HCLP with partially ordered hierarchies and composite constraints Journal of Experimental & Theoretical Artificial Intelligence | 2003-11-02 | Paper |
| scientific article; zbMATH DE number 1927234 (Why is no real title available?) | 2003-06-12 | Paper |
Prioritised fuzzy constraint satisfaction problems: Axioms, instantiation and validation Fuzzy Sets and Systems | 2003-06-09 | Paper |
A constraint-based interactive train rescheduling tool Constraints | 2002-09-18 | Paper |
Efficient interval linear equality solving in constraint logic programming Reliable Computing | 2002-05-30 | Paper |
A Lagrangian reconstruction of GENET Artificial Intelligence | 2000-12-12 | Paper |
An execution scheme for interactive problem-solving in concurrent constraint logic programming languages Computer Languages | 2000-11-26 | Paper |
Increasing constraint propagation by redundant modeling: An experience report Constraints | 1999-09-12 | Paper |
Interval computation as deduction in chip The Journal of Logic Programming | 1993-08-23 | Paper |