Publication | Date of Publication | Type |
---|
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 |
Propagation via lazy clause generation | 2009-08-06 | Paper |
Logic Programming | 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 |
A Framework for Extended Algebraic Data Types | 2007-05-02 | Paper |
Programming Languages and Systems | 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 |
Semantics of infinite tree logic programming | 1986-01-01 | Paper |
Canonical logic programs | 1986-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3727354 | 1986-01-01 | Paper |