| Publication | Date of Publication | Type |
|---|
Seamless multimodal transportation scheduling
INFORMS Journal on Computing | 2024-07-29 | Paper |
A guide to formulating fairness in an optimization model
Annals of Operations Research | 2023-07-31 | Paper |
Achieving consistency with cutting planes
Mathematical Programming. Series A. Series B | 2023-03-01 | Paper |
| Stochastic decision diagrams | 2022-08-30 | Paper |
Combining leximax fairness and efficiency in a mathematical programming model
European Journal of Operational Research | 2022-02-23 | Paper |
Optimization Bounds from the Branching Dual
INFORMS Journal on Computing | 2020-12-11 | Paper |
Optimization Bounds from the Branching Dual
INFORMS Journal on Computing | 2020-12-11 | Paper |
Logic-based Benders decomposition for large-scale optimization
Springer Optimization and Its Applications | 2020-07-07 | Paper |
Compact representation of near-optimal integer programming solutions
Mathematical Programming. Series A. Series B | 2020-06-26 | Paper |
| A Brief Tour of Logic and Optimization | 2019-10-30 | Paper |
Consistency for \(0-1\) programming
(available as arXiv preprint) | 2019-10-14 | Paper |
| The Hamiltonian Circuit Polytope | 2018-12-05 | Paper |
Constraint programming and operations research
Constraints | 2018-11-06 | Paper |
| Seamless Multimodal Transportation Scheduling | 2018-07-25 | Paper |
Integer programming as projection
Discrete Optimization | 2018-05-24 | Paper |
Decision diagrams for optimization
Artificial Intelligence: Foundations, Theory, and Algorithms | 2016-11-15 | Paper |
Scheduling multiple factory cranes on a common track
Computers & Operations Research | 2016-11-10 | Paper |
Scheduling home hospice care with logic-based Benders decomposition
Integration of AI and OR Techniques in Constraint Programming | 2016-06-27 | Paper |
Discrete optimization with decision diagrams
INFORMS Journal on Computing | 2016-05-19 | Paper |
Robust scheduling with logic-based Benders decomposition
Operations Research Proceedings | 2016-05-19 | Paper |
Modeling with metaconstraints and semantic typing of variables
INFORMS Journal on Computing | 2016-05-19 | Paper |
Projection, consistency, and George Boole
Constraints | 2016-04-12 | Paper |
Toward unification of exact and heuristic optimization methods
International Transactions in Operational Research | 2015-04-22 | Paper |
Single-facility scheduling by logic-based Benders decomposition
Annals of Operations Research | 2014-03-31 | Paper |
Mixed integer programming versus logic-based Benders decomposition for planning and scheduling
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems | 2013-06-04 | Paper |
Decision diagrams and dynamic programming
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems | 2013-06-04 | Paper |
Solving the capacitated local access network design problem
INFORMS Journal on Computing | 2012-07-28 | Paper |
Logic, optimization, and constraint programming
INFORMS Journal on Computing | 2012-05-30 | Paper |
Integrated methods for optimization
International Series in Operations Research & Management Science | 2012-02-22 | Paper |
An integrated solver for optimization problems
Operations Research | 2011-11-24 | Paper |
Optimality conditions for distributive justice
International Transactions in Operational Research | 2011-05-23 | Paper |
Hybrid modeling
Hybrid Optimization | 2010-12-22 | Paper |
Single-facility scheduling over long time horizons by logic-based Benders decomposition
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems | 2010-06-22 | Paper |
Planning and Scheduling by Logic-Based Benders Decomposition
Operations Research | 2009-08-13 | Paper |
Optimal Design of Truss Structures by Logic-Based Branch and Cut
Operations Research | 2009-07-03 | Paper |
Cost-Bounded Binary Decision Diagrams for 0-1 Programming
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems | 2009-03-10 | Paper |
Principles and Practice of Constraint Programming – CP 2004
Lecture Notes in Computer Science | 2008-09-09 | Paper |
Planning and Scheduling to Minimize Tardiness
Principles and Practice of Constraint Programming - CP 2005 | 2008-09-09 | Paper |
A Search-Infer-and-Relax Framework for Integrating Solution Methods
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems | 2008-03-17 | Paper |
Convex Programming Methods for Global Optimization
Global Optimization and Constraint Satisfaction | 2008-03-14 | Paper |
Constraint Programming
Discrete Optimization | 2007-06-19 | Paper |
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
Lecture Notes in Computer Science | 2007-04-30 | Paper |
Integrated methods for optimization.
International Series in Operations Research & Management Science | 2007-01-03 | Paper |
A hybrid method for the planning and scheduling
Constraints | 2006-11-03 | Paper |
An integrated method for planning and scheduling to minimize tardiness
Constraints | 2006-11-03 | Paper |
| scientific article; zbMATH DE number 5064932 (Why is no real title available?) | 2006-10-17 | Paper |
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
Lecture Notes in Computer Science | 2005-12-27 | Paper |
| scientific article; zbMATH DE number 2158986 (Why is no real title available?) | 2005-04-19 | Paper |
| scientific article; zbMATH DE number 2077139 (Why is no real title available?) | 2004-07-01 | Paper |
Logic-based Benders decomposition
Mathematical Programming. Series A. Series B | 2003-07-13 | Paper |
Solving fixed-charge network flow problems with a hybrid optimization and constraint programming approach
Annals of Operations Research | 2003-01-27 | Paper |
Mixed global constraints and inference in hybrid CLP--IP solvers
Annals of Mathematics and Artificial Intelligence | 2002-06-27 | Paper |
Inference-Based Sensitivity Analysis for Mixed Integer/Linear Programming
Operations Research | 2002-06-04 | Paper |
A declarative modeling framework that integrates solution methods
Annals of Operations Research | 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
Mathematical Programming. Series A. Series B | 2001-02-09 | Paper |
Inference duality as a basis for sensitivity analysis
Constraints | 1999-09-07 | Paper |
| scientific article; zbMATH DE number 1114456 (Why is no real title available?) | 1998-02-08 | Paper |
Branch-and-cut solution of inference problems in propositional logic
Annals of Mathematics and Artificial Intelligence | 1997-12-14 | Paper |
Resolution and the integrality of satisfiability problems
Mathematical Programming. Series A. Series B | 1997-08-18 | Paper |
Generalized resolution for 0--1 linear inequalities
Annals of Mathematics and Artificial Intelligence | 1997-05-13 | Paper |
Determining lower and upper bounds on probabilities of atomic propositions in sets of logical formulas represented by digraphs
Annals of Operations Research | 1996-11-19 | Paper |
Testing heuristics: We have it all wrong
Journal of Heuristics | 1996-09-01 | Paper |
Boolean regression
Annals of Operations Research | 1996-05-02 | Paper |
Branching rules for satisfiability
Journal of Automated Reasoning | 1995-12-20 | Paper |
Solving a General Routing and Scheduling Problem by Chain Decomposition and Tabu Search
Transportation Science | 1995-11-23 | Paper |
A Computational Study of Satisfiability Algorithms for Propositional Logic
ORSA Journal on Computing | 1995-01-11 | Paper |
Predicting Cause-Effect Relationships from Incomplete Discrete Observations
SIAM Journal on Discrete Mathematics | 1994-12-20 | Paper |
Needed: An Empirical Science of Algorithms
Operations Research | 1994-09-20 | Paper |
Logic cuts for processing networks with fixed charges
Computers & Operations Research | 1994-03-24 | Paper |
New methods for computing inferences in first order logic
Annals of Operations Research | 1993-12-20 | Paper |
| scientific article; zbMATH DE number 408798 (Why is no real title available?) | 1993-09-06 | Paper |
Solving the incremental satisfiability problem
The Journal of Logic Programming | 1993-05-16 | Paper |
Input Proofs and Rank One Cutting Planes
ORSA Journal on Computing | 1993-01-16 | Paper |
Solving nonlinear multiple-facility network location problems
Networks | 1989-01-01 | Paper |
On the Vector Assignment p-Median Problem
Transportation Science | 1989-01-01 | Paper |
Resolution vs. cutting plane solution of inference problems: Some computational experience
Operations Research Letters | 1988-01-01 | Paper |
Networklike metric spaces
Discrete Mathematics | 1988-01-01 | Paper |
Operational Research: Methods and Applications
(available as arXiv preprint) | N/A | Paper |
