Publication | Date of Publication | Type |
---|
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 |
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 |
Modeling with Metaconstraints and Semantic Typing of Variables | 2016-05-19 | Paper |
Robust Scheduling with Logic-Based Benders Decomposition | 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 |
Decision Diagrams and Dynamic Programming | 2013-06-04 | Paper |
Mixed Integer Programming vs. Logic-Based Benders Decomposition for Planning and Scheduling | 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 |
Planning and Scheduling to Minimize Tardiness | 2008-09-09 | Paper |
Principles and Practice of Constraint Programming – CP 2004 | 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 |
https://portal.mardi4nfdi.de/entity/Q2741385 | 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 |
On the Vector Assignment p-Median Problem | 1989-01-01 | Paper |
Solving nonlinear multiple-facility network location problems | 1989-01-01 | Paper |
Networklike metric spaces | 1988-01-01 | Paper |
Resolution vs. cutting plane solution of inference problems: Some computational experience | 1988-01-01 | Paper |