| Publication | Date of Publication | Type |
|---|
| Seamless multimodal transportation scheduling | 2024-07-29 | Paper |
| A guide to formulating fairness in an optimization model | 2023-07-31 | Paper |
| Achieving consistency with cutting planes | 2023-03-01 | Paper |
| Stochastic decision diagrams | 2022-08-30 | Paper |
| Combining leximax fairness and efficiency in a mathematical programming model | 2022-02-23 | Paper |
| Optimization Bounds from the Branching Dual | 2020-12-11 | Paper |
| Logic-Based Benders Decomposition for Large-Scale Optimization | 2020-07-07 | Paper |
| Compact representation of near-optimal integer programming solutions | 2020-06-26 | Paper |
| A Brief Tour of Logic and Optimization | 2019-10-30 | Paper |
| Consistency for \(0-1\) programming | 2019-10-14 | Paper |
| The Hamiltonian Circuit Polytope | 2018-12-05 | Paper |
| Constraint programming and operations research | 2018-11-06 | Paper |
| Seamless Multimodal Transportation Scheduling | 2018-07-25 | Paper |
| Integer programming as projection | 2018-05-24 | Paper |
| Decision diagrams for optimization | 2016-11-15 | Paper |
| Scheduling multiple factory cranes on a common track | 2016-11-10 | Paper |
| Scheduling Home Hospice Care with Logic-Based Benders Decomposition | 2016-06-27 | Paper |
| Discrete optimization with decision diagrams | 2016-05-19 | Paper |
| Robust Scheduling with Logic-Based Benders Decomposition | 2016-05-19 | Paper |
| Modeling with metaconstraints and semantic typing of variables | 2016-05-19 | Paper |
| Projection, consistency, and George Boole | 2016-04-12 | Paper |
| Toward unification of exact and heuristic optimization methods | 2015-04-22 | Paper |
| Single-facility scheduling by logic-based Benders decomposition | 2014-03-31 | Paper |
| Mixed Integer Programming vs. Logic-Based Benders Decomposition for Planning and Scheduling | 2013-06-04 | Paper |
| Decision Diagrams and Dynamic Programming | 2013-06-04 | Paper |
| Solving the capacitated local access network design problem | 2012-07-28 | Paper |
| Logic, optimization, and constraint programming | 2012-05-30 | Paper |
| Integrated methods for optimization | 2012-02-22 | Paper |
| An Integrated Solver for Optimization Problems | 2011-11-24 | Paper |
| Optimality conditions for distributive justice | 2011-05-23 | Paper |
| Hybrid Modeling | 2010-12-22 | Paper |
| Single-Facility Scheduling over Long Time Horizons by Logic-Based Benders Decomposition | 2010-06-22 | Paper |
| Planning and Scheduling by Logic-Based Benders Decomposition | 2009-08-13 | Paper |
| Optimal Design of Truss Structures by Logic-Based Branch and Cut | 2009-07-03 | Paper |
| Cost-Bounded Binary Decision Diagrams for 0-1 Programming | 2009-03-10 | Paper |
| Principles and Practice of Constraint Programming – CP 2004 | 2008-09-09 | Paper |
| Planning and Scheduling to Minimize Tardiness | 2008-09-09 | Paper |
| A Search-Infer-and-Relax Framework for Integrating Solution Methods | 2008-03-17 | Paper |
| Convex Programming Methods for Global Optimization | 2008-03-14 | Paper |
| Constraint Programming | 2007-06-19 | Paper |
| Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems | 2007-04-30 | Paper |
| Integrated methods for optimization. | 2007-01-03 | Paper |
| A hybrid method for the planning and scheduling | 2006-11-03 | Paper |
| An integrated method for planning and scheduling to minimize tardiness | 2006-11-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5494212 | 2006-10-17 | Paper |
| Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems | 2005-12-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4668540 | 2005-04-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4470524 | 2004-07-01 | Paper |
| Logic-based Benders decomposition | 2003-07-13 | Paper |
| Solving fixed-charge network flow problems with a hybrid optimization and constraint programming approach | 2003-01-27 | Paper |
| Mixed global constraints and inference in hybrid CLP--IP solvers | 2002-06-27 | Paper |
| Inference-Based Sensitivity Analysis for Mixed Integer/Linear Programming | 2002-06-04 | Paper |
| A declarative modeling framework that integrates solution methods | 2002-03-26 | Paper |
| Mixed global constraints and inference in hybrid CLP-IP solvers | 2001-09-24 | Paper |
| Tight representation of logical constraints as cardinality rules | 2001-02-09 | Paper |
| Inference duality as a basis for sensitivity analysis | 1999-09-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4377039 | 1998-02-08 | Paper |
| Branch-and-cut solution of inference problems in propositional logic | 1997-12-14 | Paper |
| Resolution and the integrality of satisfiability problems | 1997-08-18 | Paper |
| Generalized resolution for 0--1 linear inequalities | 1997-05-13 | Paper |
| Determining lower and upper bounds on probabilities of atomic propositions in sets of logical formulas represented by digraphs | 1996-11-19 | Paper |
| Testing heuristics: We have it all wrong | 1996-09-01 | Paper |
| Boolean regression | 1996-05-02 | Paper |
| Branching rules for satisfiability | 1995-12-20 | Paper |
| Solving a General Routing and Scheduling Problem by Chain Decomposition and Tabu Search | 1995-11-23 | Paper |
| A Computational Study of Satisfiability Algorithms for Propositional Logic | 1995-01-11 | Paper |
| Predicting Cause-Effect Relationships from Incomplete Discrete Observations | 1994-12-20 | Paper |
| Needed: An Empirical Science of Algorithms | 1994-09-20 | Paper |
| Logic cuts for processing networks with fixed charges | 1994-03-24 | Paper |
| New methods for computing inferences in first order logic | 1993-12-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4202942 | 1993-09-06 | Paper |
| Solving the incremental satisfiability problem | 1993-05-16 | Paper |
| Input Proofs and Rank One Cutting Planes | 1993-01-16 | Paper |
| Solving nonlinear multiple-facility network location problems | 1989-01-01 | Paper |
| On the Vector Assignment p-Median Problem | 1989-01-01 | Paper |
| Resolution vs. cutting plane solution of inference problems: Some computational experience | 1988-01-01 | Paper |
| Networklike metric spaces | 1988-01-01 | Paper |
| Operational Research: Methods and Applications | N/A | Paper |
