| Publication | Date of Publication | Type |
|---|
| Large‐scale zone‐based evacuation planning—Part I: Models and algorithms | 2023-12-11 | Paper |
| <scp>Large‐scale</scp> zone‐based evacuation planning, Part <scp>II</scp>: Macroscopic and microscopic evaluations | 2023-12-11 | Paper |
| Bilevel optimization for on-demand multimodal transit systems | 2022-12-21 | Paper |
| Transfer-expanded graphs for on-demand multimodal transit systems | 2022-12-21 | Paper |
| Benders Subproblem Decomposition for Bilevel Problems with Convex Follower | 2022-07-01 | Paper |
| The flexible and real-time commute trip sharing problems | 2021-12-16 | Paper |
| MiniCP: a lightweight solver for constraint programming | 2021-11-16 | Paper |
| Market segmentation in online platforms | 2021-11-09 | Paper |
| Differential privacy of hierarchical Census data: an optimization approach | 2021-11-02 | Paper |
| Nutmeg: a MIP and CP hybrid solver using branch-and-check | 2021-02-08 | Paper |
| Communication-Constrained Expansion Planning for Resilient Distribution Systems | 2021-02-01 | Paper |
| Dynamic Compressor Optimization in Natural Gas Pipeline Systems | 2020-12-02 | Paper |
| Constraint programming models for integrated container terminal operations | 2020-06-17 | Paper |
| Column generation for real-time ride-sharing operations | 2019-10-14 | Paper |
| Graphical models and belief propagation hierarchy for physics-constrained network flows | 2019-09-18 | Paper |
| OptStream: Releasing Time Series Privately | 2019-08-06 | Paper |
| Assortment optimization under the sequential multinomial logit model | 2018-12-06 | Paper |
| Constrained-based differential privacy: releasing optimal power flow benchmarks privately | 2018-11-21 | Paper |
| Constraint and mathematical programming models for integrated port container terminal operations | 2018-11-21 | Paper |
| Bargaining mechanisms for one-way games | 2018-07-10 | Paper |
| Popularity signals in trial-offer markets with social influence and position bias | 2018-05-30 | Paper |
| A microkernel architecture for constraint programming | 2018-03-28 | Paper |
| Graphical models for optimal power flow | 2018-02-22 | Paper |
| Convex quadratic relaxations for mixed-integer nonlinear programs in power systems | 2018-01-08 | Paper |
| A branch-and-price-and-check model for the vehicle routing problem with location congestion | 2017-08-16 | Paper |
| A decomposition-based implementation of search strategies | 2017-07-12 | Paper |
| Search and strategies in OPL | 2017-06-13 | Paper |
| Convex Relaxations for Gas Expansion Planning | 2017-02-08 | Paper |
| Parallel Composition of Scheduling Solvers | 2016-06-27 | Paper |
| Optimal Flood Mitigation over Flood Propagation Approximations | 2016-06-27 | Paper |
| Assortment optimization under a multinomial logit model with position bias and social influence | 2016-03-29 | Paper |
| A column-generation approach for joint mobilization and evacuation planning | 2015-11-09 | Paper |
| Transmission system repair and restoration | 2015-06-19 | Paper |
| Constraint programming: strategic directions | 2015-06-15 | Paper |
| Constraint programming for combinatorial search problems | 2015-06-15 | Paper |
| Optimal and efficient filtering algorithms for table constraints | 2015-04-29 | Paper |
| A Linear-Programming Approximation of AC Power Flows | 2015-01-26 | Paper |
| LS(graph): a constraint-based local search for constraint optimization on trees and paths | 2015-01-22 | Paper |
| Domain consistency with forbidden values | 2014-12-12 | Paper |
| Edge Finding for Cumulative Scheduling | 2012-07-28 | Paper |
| Transparent Parallelization of Constraint Programming | 2012-07-28 | Paper |
| Constraint-based very large-scale neighborhood search | 2012-07-10 | Paper |
| A Modeling Layer for Constraint-Programming Libraries | 2012-06-18 | Paper |
| Constraint and Integer Programming in OPL | 2012-05-30 | Paper |
| An anytime multistep anticipatory algorithm for online stochastic combinatorial optimization | 2011-06-22 | Paper |
| Optimal deployment of eventually-serializable data services | 2011-06-22 | Paper |
| Spatial and Objective Decompositions for Very Large SCAPs | 2011-05-26 | Paper |
| Identifying Patterns in Sequences of Variables | 2011-05-26 | Paper |
| Online stochastic optimization under time constraints | 2010-10-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3583363 | 2010-08-27 | Paper |
| Constraint-Based Local Search for Constrained Optimum Paths Problems | 2010-06-22 | Paper |
| Revisiting the Soft Global Cardinality Constraint | 2010-06-22 | Paper |
| Boosting Set Constraint Propagation for Network Design | 2010-06-22 | Paper |
| CPBPV: a constraint-programming framework for bounded program verification | 2010-05-05 | 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 |
| Principles and Practice of Constraint Programming – CP 2003 | 2010-03-02 | Paper |
| Online stochastic reservation systems | 2010-02-01 | Paper |
| Dynamic structural symmetry breaking for constraint satisfaction problems | 2009-11-16 | Paper |
| Model-driven visualizations of constraint-based local search | 2009-08-06 | Paper |
| Scenario-Based Planning for Partially Dynamic Vehicle Routing with Stochastic Customers | 2009-07-17 | Paper |
| Parallel and distributed local search in COMET | 2009-04-03 | Paper |
| Principles and Practice of Constraint Programming – CP 2004 | 2008-09-09 | Paper |
| Sub-optimality Approximations | 2008-09-09 | Paper |
| Maintaining Longest Paths in Cyclic Graphs | 2008-09-09 | Paper |
| Parallel Local Search in Comet | 2008-09-09 | Paper |
| Distributed Constraint-Based Local Search | 2008-09-09 | Paper |
| Differentiable Invariants | 2008-09-09 | Paper |
| Gap Reduction Techniques for Online Stochastic Project Scheduling | 2008-05-27 | Paper |
| Amsaa: A Multistep Anticipatory Algorithm for Online Stochastic Combinatorial Optimization | 2008-05-27 | Paper |
| Strong polynomiality of resource constraint propagation | 2008-05-14 | Paper |
| Scheduling Social Golfers Locally | 2008-03-17 | Paper |
| Nondeterministic Control for Hybrid Search | 2008-03-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5435009 | 2008-01-14 | Paper |
| Local search-based hybrid algorithms for finding Golomb rulers | 2007-10-11 | Paper |
| A simulated annealing approach to the traveling tournament problem | 2007-05-15 | Paper |
| Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems | 2007-04-30 | Paper |
| Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems | 2007-04-30 | Paper |
| Nondeterministic control for hybrid search | 2007-01-05 | Paper |
| Contraint-based combinators for local search | 2006-11-03 | Paper |
| Control abstractions for local search | 2006-02-23 | Paper |
| Maintaining longest paths incrementally | 2006-02-23 | Paper |
| Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems | 2005-12-27 | Paper |
| A two-stage hybrid algorithm for pickup and delivery vehicle routing problems with time windows | 2005-11-01 | Paper |
| Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making | 2005-08-17 | Paper |
| Safe and tight linear estimators for global optimization | 2005-04-29 | Paper |
| A simple tabu search for warehouse location | 2005-01-12 | Paper |
| A simple and deterministic competitive algorithm for online facility location | 2005-01-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4475658 | 2004-08-09 | Paper |
| On the complexity of the robust spanning tree problem with interval data | 2004-07-01 | Paper |
| Precisely A(\({\alpha}\))-stable one-leg multistep methods | 2004-03-15 | Paper |
| Sequence-based abstract interpretation of Prolog | 2004-03-01 | Paper |
| Localizer: A Modeling Language for Local Search | 2003-12-16 | Paper |
| Consistency techniques in ordinary differential equations | 2003-05-04 | Paper |
| A Constraint Satisfaction Approach for Enclosing Solutions to Parametric Ordinary Differential Equations | 2003-01-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4537120 | 2002-11-06 | Paper |
| Localizer | 2002-07-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4529648 | 2002-05-05 | Paper |
| Combinations of abstract domains for logic programming: Open product and generic pattern construction | 2000-09-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4495112 | 2000-08-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4939282 | 2000-07-20 | Paper |
| Constraint satisfaction over connected row-convex constraints | 1999-06-21 | Paper |
| Design, implementation, and evaluation of the constraint language cc(FD) | 1999-05-31 | Paper |
| Reexecution in abstract interpretation of prolog | 1999-05-05 | Paper |
| A gentle introduction to Numerica | 1999-01-12 | Paper |
| A constraint satisfaction approach to a circuit design problem | 1998-11-08 | Paper |
| \textit{Helios}: A modeling language for global optimization and its implementation in \textit{Newton} | 1998-07-23 | Paper |
| Redundancy elimination with a lexicographic solved form | 1998-05-25 | Paper |
| Newton: Constraint programming over nonlinear constraints | 1998-03-24 | Paper |
| Solving Polynomial Systems Using a Branch and Prune Approach | 1997-11-02 | Paper |
| In Memoriam: Paris C. Kanellakis | 1997-06-09 | Paper |
| Standard forms for rational linear arithmetic in constraint logic programming. | 1997-05-13 | Paper |
| Evaluation of the domain prop | 1997-03-17 | Paper |
| Type analysis of prolog using type graphs | 1995-04-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4287483 | 1994-05-06 | Paper |
| Constraint satisfaction using constraint logic programming | 1993-04-01 | Paper |
| A generic arc-consistency algorithm and its specializations | 1993-01-17 | Paper |
| Solving a cutting-stock problem with the constraint logic programming language CHIP | 1993-01-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4012214 | 1992-09-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3357523 | 1991-01-01 | Paper |
| Solving large combinatorial problems in logic programming | 1990-01-01 | Paper |
| Simulation of hybrid circuits in constraint logic programming | 1990-01-01 | Paper |
| A logic language for combinatorial optimization | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3489527 | 1989-01-01 | Paper |
| Extended unification algorithms for the integration of functional programming into logic programming | 1987-01-01 | Paper |
