| Publication | Date of Publication | Type |
|---|
| Dissecting widening: separating termination from information | 2024-04-19 | Paper |
| Transformation-Enabled Precondition Inference | 2023-12-12 | Paper |
| Election Manipulation 100 | 2023-08-03 | Paper |
| Multi-objective short-term production scheduling for open-pit mines: a hierarchical decomposition-based algorithm | 2022-12-23 | Paper |
| Core-guided and core-boosted search for CP | 2022-12-21 | Paper |
| Robust resource planning for aircraft ground operations | 2022-12-21 | Paper |
| Coupling different integer encodings for SAT | 2022-08-30 | Paper |
| A FastMap-based algorithm for block modeling | 2022-08-30 | Paper |
| Enumerated types and type extensions for MiniZinc | 2022-08-30 | Paper |
| Eliminating negation from normal logic programs | 2022-08-16 | Paper |
| Fixing the State Budget: Approximation of Regular Languages with Small DFAs | 2022-08-12 | Paper |
| Context-sensitive dynamic partial order reduction | 2022-07-01 | Paper |
| Constraint programming for high school timetabling: a scheduling-based model with hot starts | 2022-06-29 | Paper |
| Branch-and-cut-and-price for multi-agent path finding | 2022-06-22 | Paper |
| Branch-and-cut-and-price for the electric vehicle routing problem with time windows, piecewise-linear recharging and capacitated recharging stations | 2022-06-22 | Paper |
| Auditing Hamiltonian elections | 2022-06-01 | Paper |
| Selecting and scheduling an optimal subset of road network upgrades | 2022-04-20 | Paper |
| Algorithm selection for dynamic symbolic execution: a preliminary study | 2022-03-23 | Paper |
| Learning Optimal Decision Sets and Lists with SAT | 2022-02-07 | Paper |
| Pairwise symmetry reasoning for multi-agent path finding search | 2021-12-13 | Paper |
| Fast optimal and bounded suboptimal Euclidean pathfinding | 2021-12-13 | Paper |
| Dashed strings for string constraint solving | 2021-08-16 | Paper |
| Nutmeg: a MIP and CP hybrid solver using branch-and-check | 2021-02-08 | Paper |
| Toward Computing the Margin of Victory in Single Transferable Vote Elections | 2020-12-09 | Paper |
| Constraints for symmetry breaking in graph representation | 2019-10-25 | Paper |
| Compiling CP subproblems to MDDs and d-DNNFs | 2019-10-25 | Paper |
| Constraint programming for dynamic symbolic execution of JavaScript | 2019-10-14 | Paper |
| Core-boosted linear search for incomplete MaxSAT | 2019-10-14 | Paper |
| Local rapid learning for integer programs | 2019-10-14 | Paper |
| Time table edge finding with energy variables | 2019-10-14 | Paper |
| Wombit: a portfolio bit-vector solver using word-level propagation | 2019-09-02 | Paper |
| Local Rapid Learning for Integer Programs | 2019-02-07 | Paper |
| An iterative approach to precondition inference using constrained Horn clauses | 2018-12-04 | Paper |
| Propagating \textsc{lex}, \textsc{find} and \textsc{replace} with dashed strings | 2018-11-21 | Paper |
| Solver independent rotating workforce scheduling | 2018-11-21 | Paper |
| Exploiting sparsity in difference-bound matrices | 2018-08-27 | Paper |
| Breaking symmetries with lex implications | 2018-07-09 | Paper |
| Mixed-integer linear programming and constraint programming formulations for solving resource availability cost problems | 2018-05-30 | Paper |
| Reference Abstract Domains and Applications to String Analysis | 2018-05-03 | Paper |
| Using constraint programming for solving RCPSP/MAX-cal | 2018-02-23 | Paper |
| A Benders decomposition approach to deciding modular linear integer arithmetic | 2017-11-15 | Paper |
| Horn clauses as an intermediate representation for program analysis and transformation | 2017-11-09 | Paper |
| MiniZinc with strings | 2017-10-13 | Paper |
| Range-consistent forbidden regions of Allen's relations | 2017-08-04 | Paper |
| Minimizing landscape resistance for habitat conservation | 2017-08-04 | Paper |
| Removing propagation redundant constraints in redundant modeling | 2017-07-12 | Paper |
| Scheduling with Fixed Maintenance, Shared Resources and Nonlinear Feedrate Constraints: A Mine Planning Case Study | 2016-07-25 | Paper |
| Learning Value Heuristics for Constraint Programming | 2016-07-25 | Paper |
| On CNF Encodings of Decision Diagrams | 2016-06-27 | Paper |
| Lagrangian Decomposition via Sub-problem Search | 2016-06-27 | Paper |
| Weighted Spanning Tree Constraint with Explanations | 2016-06-27 | Paper |
| Parallelizing Constraint Programming with Learning | 2016-06-27 | Paper |
| Rail Capacity Modelling with Constraint Programming | 2016-06-27 | Paper |
| A Bit-Vector Solver with Word-Level Propagation | 2016-06-27 | Paper |
| A complete refinement procedure for regular separability of context-free languages | 2016-04-01 | Paper |
| An Abstract Domain of Uninterpreted Functions | 2016-03-23 | Paper |
| Automatic Minimal-Height Table Layout | 2015-12-21 | Paper |
| $$\#\exists $$ SAT: Projected Model Counting | 2015-11-20 | Paper |
| Exception analysis for non-strict languages | 2015-10-07 | Paper |
| A theory of overloading | 2015-10-07 | Paper |
| Analyzing Array Manipulating Programs by Program Transformation | 2015-10-02 | Paper |
| Explaining circuit propagation | 2015-04-29 | Paper |
| Symmetries, almost symmetries, and lazy clause generation | 2015-04-29 | Paper |
| Dominance breaking constraints | 2015-04-29 | Paper |
| Exploration of models for a cargo assembly planning problem | 2015-04-02 | Paper |
| Lazy Model Expansion: Interleaving Grounding with Search | 2015-03-04 | Paper |
| A Decomposition-Based Heuristic for Collaborative Scheduling in a Network of Open-Pit Mines | 2015-01-26 | Paper |
| Search combinators | 2015-01-22 | Paper |
| Modelling with Option Types in MiniZinc | 2014-05-27 | Paper |
| Stable model semantics for founded bounds | 2014-02-27 | Paper |
| Failure tabled constraint logic programming by interpolation | 2014-02-27 | Paper |
| A CLP heap solver for test case generation | 2014-02-27 | Paper |
| Lazy Model Expansion by Incremental Grounding | 2014-02-25 | Paper |
| Solving RCPSP/max by lazy clause generation | 2014-02-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2863874 | 2013-12-04 | Paper |
| An Introduction to Search Combinators | 2013-09-13 | Paper |
| Unbounded Model-Checking with Interpolation for Regular Language Constraints | 2013-08-05 | Paper |
| Solving Difference Constraints over Modular Arithmetic | 2013-06-14 | Paper |
| Explaining Time-Table-Edge-Finding Propagation for the Cumulative Resource Constraint | 2013-06-04 | Paper |
| MiniZinc with Functions | 2013-06-04 | Paper |
| A Lagrangian Relaxation Based Forward-Backward Improvement Heuristic for Maximising the Net Present Value of Resource-Constrained Projects | 2013-06-04 | Paper |
| Boolean Equi-propagation for Concise and Efficient SAT Encodings of Combinatorial Problems | 2013-04-09 | Paper |
| A complete solution to the maximum density still life problem | 2012-11-15 | Paper |
| Exploiting subproblem dominance in constraint programming | 2012-09-27 | Paper |
| Constraints in Non-Boolean Contexts | 2012-08-29 | Paper |
| Incremental Satisfiability and Implication for UTVPI Constraints | 2012-07-28 | Paper |
| Solving Talent Scheduling with Dynamic Programming | 2012-07-28 | Paper |
| MDD propagators with explanation | 2012-06-20 | Paper |
| Dynamic Programming to Minimize the Maximum Number of Open Stacks | 2012-06-18 | Paper |
| Efficient Intelligent Backtracking Using Linear Programming | 2012-05-30 | Paper |
| Lock-free parallel dynamic programming | 2012-03-07 | Paper |
| Explaining the \texttt{cumulative} propagator | 2011-11-23 | Paper |
| Reducing Chaos in SAT-Like Search: Finding Solutions Close to a Given One | 2011-06-17 | Paper |
| CP and IP approaches to cancer radiotherapy delivery optimization | 2011-05-25 | Paper |
| Dantzig-Wolfe decomposition and branch-and-price solving in G12 | 2011-04-06 | Paper |
| Optimal k-Level Planarization and Crossing Minimization | 2011-02-11 | Paper |
| Philosophy of the MiniZinc challenge | 2010-11-19 | Paper |
| Fast Set Bounds Propagation Using a BDD-SAT Hybrid | 2010-08-06 | Paper |
| Lazy Clause Generation: Combining the Power of SAT and CP (and MIP?) Solving | 2010-06-22 | Paper |
| Rapid Learning for Binary Programs | 2010-06-22 | Paper |
| Automatically Exploiting Subproblem Equivalence in Constraint Programming | 2010-06-22 | Paper |
| Orthogonal Connector Routing | 2010-04-27 | Paper |
| Principles and Practice of Constraint Programming – CP 2003 | 2010-03-02 | Paper |
| Principles and Practice of Constraint Programming – CP 2003 | 2010-03-02 | Paper |
| Programming Languages and Systems | 2010-01-05 | Paper |
| Monadic constraint programming | 2009-11-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3181647 | 2009-10-12 | Paper |
| Propagating systems of dense linear integer constraints | 2009-09-25 | Paper |
| Logic Programming | 2009-08-06 | Paper |
| Propagation via lazy clause generation | 2009-08-06 | Paper |
| Demand-Driven Normalisation for ACD Term Rewriting | 2009-07-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3620437 | 2009-04-14 | Paper |
| Minimum Cardinality Matrix Decomposition into Consecutive-Ones Matrices: CP and IP Approaches | 2009-03-10 | Paper |
| Observable Confluence for Constraint Handling Rules | 2009-03-05 | Paper |
| Dynamic Analysis of Bounds Versus Domain Propagation | 2009-01-22 | Paper |
| Cadmium: An Implementation of ACD Term Rewriting | 2009-01-22 | Paper |
| Solving Partial Order Constraints for LPO Termination | 2008-09-25 | 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 |
| The design of the zinc modelling language | 2008-09-02 | Paper |
| Encodings of the Sequence Constraint | 2008-09-02 | Paper |
| Propagation = Lazy Clause Generation | 2008-09-02 | Paper |
| From High-Level Model to Branch-and-Price Solution in G12 | 2008-05-27 | Paper |
| Type Processing by Constraint Reasoning | 2008-05-06 | Paper |
| Principal Type Inference for GHC-Style Multi-parameter Type Classes | 2008-05-06 | Paper |
| HM(X) type inference is CLP(X) solving | 2008-03-27 | Paper |
| ACD Term Rewriting | 2008-03-11 | Paper |
| New integer linear programming approaches for course timetabling | 2008-01-23 | Paper |
| Logic programming with satisfiability | 2008-01-21 | Paper |
| Programming Languages and Systems | 2007-09-28 | Paper |
| Fast Node Overlap Removal—Correction | 2007-08-28 | Paper |
| Programming Languages and Systems | 2007-05-02 | Paper |
| A Framework for Extended Algebraic Data Types | 2007-05-02 | Paper |
| Improving PARMA trailing | 2007-02-13 | Paper |
| Understanding functional dependencies via constraint handling rules | 2007-02-07 | Paper |
| Graph Drawing | 2006-11-13 | Paper |
| Graph Drawing | 2006-11-13 | Paper |
| Logic Programming | 2006-06-27 | Paper |
| Logic Programming | 2006-06-27 | Paper |
| NP-Completeness of Minimal Width Unordered Tree Layout | 2006-04-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5715712 | 2006-01-04 | Paper |
| Checking modes of HAL programs | 2006-01-03 | Paper |
| Program Development in Computational Logic | 2005-12-23 | Paper |
| Program Development in Computational Logic | 2005-12-23 | Paper |
| Optimizing compilation of constraint handling rules in HAL | 2005-10-18 | Paper |
| Logic Programming | 2005-08-26 | Paper |
| Logic Programming | 2005-08-26 | Paper |
| Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making | 2005-08-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4475644 | 2004-08-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4736505 | 2004-08-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4736506 | 2004-08-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4736509 | 2004-08-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4421873 | 2003-09-01 | Paper |
| Removing node overlapping in graph layout using constrained optimization | 2003-08-25 | Paper |
| Improving linear constraint propagation by changing constraint representation | 2003-08-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4409151 | 2003-06-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4778697 | 2002-11-19 | Paper |
| Fourier elimination for compiling constraint hierarchies | 2002-09-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4529772 | 2002-05-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2767146 | 2002-01-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2763645 | 2002-01-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2729855 | 2001-09-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4495068 | 2001-05-06 | Paper |
| A Lagrangian reconstruction of GENET | 2000-12-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4259967 | 1999-09-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4254883 | 1999-07-01 | Paper |
| The semantics of constraint logic programs1Note that reviewing of this paper was handled by the Editor-in-Chief.1 | 1999-05-31 | Paper |
| Differential methods in logic program analysis | 1998-11-24 | Paper |
| Foundations of aggregation constraints | 1998-08-13 | Paper |
| Well-founded ordered search: Goal-directed bottom-up evaluation of well-founded models | 1998-02-26 | Paper |
| Meta-programming in CLP(R) | 1998-01-21 | Paper |
| Optimizing bottom-up evaluation of constraint queries | 1997-10-05 | Paper |
| Bottom-up evaluation and query optimization of well-founded models | 1997-02-28 | Paper |
| On inductive inference of cyclic structures | 1996-10-20 | Paper |
| Negation and constraint logic programming | 1995-05-28 | Paper |
| CLP\(({\mathfrak R})\) and some electrical engineering problems | 1993-12-20 | Paper |
| Incremental Linear Constraint Solving and Detection of Implicit Equalities | 1993-02-11 | Paper |
| Transforming normal logic programs to constraint logic programs | 1993-01-16 | Paper |
| Projecting CLP(\({\mathcal R}\)) constraints | 1993-01-01 | Paper |
| Canonical logic programs | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3727354 | 1986-01-01 | Paper |
| Semantics of infinite tree logic programming | 1986-01-01 | Paper |
