| Publication | Date of Publication | Type |
|---|
| Constraint reasoning | 2024-09-11 | Paper |
| Corrigendum to: ``Learning constraints through partial queries | 2024-04-30 | Paper |
| Complexity of minimum-size arc-inconsistency explanations | 2024-02-14 | Paper |
| Learning constraints through partial queries | 2023-06-27 | Paper |
| Adapting Consistency in Constraint Solving | 2021-05-20 | Paper |
| Learning Constraint Satisfaction Problems: An ILP Perspective | 2021-05-20 | Paper |
| Reordering all agents in asynchronous backtracking for distributed constraint satisfaction problems | 2020-01-20 | Paper |
| Time-bounded query generator for constraint acquisition | 2018-11-21 | Paper |
| Triangle-based consistencies for cost function networks | 2018-03-28 | Paper |
| Constraint acquisition | 2017-02-22 | Paper |
| Computing and restoring global inverse consistency in interactive constraint satisfaction | 2016-11-01 | Paper |
| Tractability-preserving transformations of global cost functions | 2016-09-07 | Paper |
| Corrigendum to: ``Min-domain retroactive ordering for asynchronous backtracking | 2015-01-22 | Paper |
| Nogood-based asynchronous forward checking algorithms | 2014-12-12 | Paper |
| Buffered Resource Constraint: Algorithms and Complexity | 2014-05-27 | Paper |
| The AllDifferent Constraint with Precedences | 2011-05-26 | Paper |
| Efficient algorithms for singleton arc consistency | 2011-04-06 | Paper |
| Principles and Practice of Constraint Programming – CP 2003 | 2010-03-02 | Paper |
| Range and Roots: two common patterns for specifying and propagating counting and occurrence constraints | 2009-09-14 | Paper |
| Theory and Applications of Satisfiability Testing | 2009-07-24 | Paper |
| Domain filtering consistencies for non-binary constraints | 2009-07-17 | Paper |
| Theoretical analysis of singleton arc consistency and its extensions | 2009-07-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3599332 | 2009-02-03 | Paper |
| The ROOTS Constraint | 2008-09-09 | Paper |
| Principles and Practice of Constraint Programming – CP 2004 | 2008-09-09 | Paper |
| Acquiring Parameters of Implied Global Constraints | 2008-09-09 | Paper |
| Principles and Practice of Constraint Programming – CP 2004 | 2008-09-09 | Paper |
| BlockSolve: A Bottom-Up Approach for Solving Quantified CSPs | 2008-09-09 | Paper |
| Principles and Practice of Constraint Programming – CP 2004 | 2008-09-09 | Paper |
| Principles and Practice of Constraint Programming – CP 2004 | 2008-09-09 | Paper |
| Filtering Algorithms for the NValue Constraint | 2008-03-17 | Paper |
| An optimal coarse-grained arc consistency algorithm | 2007-10-23 | Paper |
| Asynchronous backtracking without adding links: a new member in the ABT family | 2007-10-23 | Paper |
| The complexity of reasoning with global constraints | 2007-10-22 | Paper |
| Recent Advances in Constraints | 2007-05-02 | Paper |
| Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems | 2007-04-30 | Paper |
| Filtering algorithms for the NValue constraint | 2007-01-05 | Paper |
| Statistical regimes across constrainedness regions | 2006-11-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4475652 | 2004-08-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4475662 | 2004-08-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4475642 | 2004-08-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4475704 | 2004-08-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4473058 | 2004-08-04 | Paper |
| On forward checking for non-binary constraint satisfaction. | 2003-01-21 | Paper |
| Domain filtering consistencies | 2001-06-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4495107 | 2000-08-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4495108 | 2000-08-10 | Paper |
| Using constraint metaknowledge to reduce arc consistency computation | 1999-03-02 | Paper |
