Manipulating MDD Relaxations for Combinatorial Optimization. - David Bergman; Willem Jan van Hoeve; John N. Hooker (CPAIOR, 2011)

Variable Ordering for the Application of BDDs to the Maximum Independent Set Problem. - David Bergman; André A. Ciré; Willem Jan van Hoeve; John N. Hooker (CPAIOR, 2012)

Graph Coloring Facets from All-Different Systems. - David Bergman; John N. Hooker (CPAIOR, 2012)

Optimization Bounds from Binary Decision Diagrams - (Extended Abstract). - David Bergman; André A. Ciré; Willem Jan van Hoeve; John N. Hooker (CP, 2014)

Parallel Combinatorial Optimization with Decision Diagrams. - David Bergman; André A. Ciré; Ashish Sabharwal; Horst Samulowitz; Vijay A. Saraswat; Willem Jan van Hoeve (CPAIOR, 2014)

Graph coloring inequalities from all-different systems. - David Bergman; John N. Hooker (Constraints An Int. J., 2014)

BDD-based heuristics for binary optimization. - David Bergman; André A. Ciré; Willem Jan van Hoeve; Tallys H. Yunes (J. Heuristics, 2014)

Optimization Bounds from Binary Decision Diagrams. - David Bergman; André A. Ciré; Willem Jan van Hoeve; John N. Hooker (INFORMS J. Comput., 2014)

MDD Propagation for Sequence Constraints. - David Bergman; André A. Ciré; Willem Jan van Hoeve (J. Artif. Intell. Res., 2014)

Improved Constraint Propagation via Lagrangian Decomposition. - David Bergman; André Augusto Ciré; Willem-Jan van Hoeve (CP, 2015)

A Benders Approach to the Minimum Chordal Completion Problem. - David Bergman; Arvind U. Raghunathan (CPAIOR, 2015)

New techniques for discrete optimization. - David Bergman (Constraints An Int. J., 2015)

Lagrangian bounds from decision diagrams. - David Bergman; André Augusto Ciré; Willem-Jan van Hoeve (Constraints An Int. J., 2015)

Multiobjective Optimization by Decision Diagrams. - David Bergman; André Augusto Ciré (CP, 2016)

Decomposition Based on Decision Diagrams. - David Bergman; André A. Ciré (CPAIOR, 2016)

Decompositions Based on Decision Diagrams. - David Bergman (ISAIM, 2016)

Theoretical insights and algorithmic tools for decision diagram-based optimization. - David Bergman; André Augusto Ciré (Constraints An Int. J., 2016)

Discrete Optimization with Decision Diagrams. - David Bergman; André Augusto Ciré; Willem-Jan van Hoeve; John N. Hooker (INFORMS J. Comput., 2016)

Decision Diagrams for Optimization - David Bergman; André A. Ciré; Willem-Jan van Hoeve; John N. Hooker (Springer, 2016)

On Finding the Optimal BDD Relaxation. - David Bergman; André Augusto Ciré (CPAIOR, 2017)

Surviving a National Football League Survivor Pool. - David Bergman; Jason Imbrogno (Oper. Res., 2017)

The Integrated Last-Mile Transportation Problem (ILMTP). - Arvind U. Raghunathan; David Bergman; John N. Hooker; Thiago Serra; Shingo Kobori (ICAPS, 2018)

Predictive and Prescriptive Analytics for Location Selection of Add-on Retail Products. - Teng Huang 002; David Bergman; Ram D. Gopal (CoRR, 2018)

Discrete Nonlinear Optimization by State-Space Decompositions. - David Bergman; André A. Ciré (Manag. Sci., 2018)

Improving Optimization Bounds Using Machine Learning: Decision Diagrams Meet Deep Reinforcement Learning. - Quentin Cappart; Emmanuel Goutierre; David Bergman; Louis-Martin Rousseau (AAAI, 2019)

Binary Decision Diagrams for Bin Packing with Minimum Color Fragmentation. - David Bergman; Carlos Cardonha; Saharnaz Mehrani (CPAIOR, 2019)

Last-Mile Scheduling Under Uncertainty. - Thiago Serra; Arvind U. Raghunathan; David Bergman; John N. Hooker; Shingo Kobori (CPAIOR, 2019)

An Exact Algorithm for the Quadratic Multiknapsack Problem with an Application to Event Seating. - David Bergman (INFORMS J. Comput., 2019)

On the Minimum Chordal Completion Polytope. - David Bergman; Carlos Henrique Cardonha; André Augusto Ciré; Arvind U. Raghunathan (Oper. Res., 2019)

Generating Longest Counterexample: On the Cross-roads of Mixed Integer Linear Programming and SMT. - Manish Goyal 002; David Bergman; Parasara Sridhar Duggirala (ACC, 2020)

On the Consistent Path Problem. - Leonardo Lozano; David Bergman; J. Cole Smith (Oper. Res., 2020)

Improving Branch-and-Bound Using Decision Diagrams and Reinforcement Learning. - Augustin Parjadis; Quentin Cappart; Louis-Martin Rousseau; David Bergman (CPAIOR, 2021)

A Two-Stage Exact Algorithm for Optimization of Neural Network Ensemble. - Keliang Wang; Leonardo Lozano; David Bergman; Carlos Cardonha (CPAIOR, 2021)

Acceleration techniques for optimization over trained neural network ensembles. - Keliang Wang; Leonardo Lozano; Carlos Cardonha; David Bergman (CoRR, 2021)

Decision Diagram Decomposition for Quadratically Constrained Binary Optimization. - David Bergman; Leonardo Lozano (INFORMS J. Comput., 2021)

Careful! Training Relevance is Real. - Chenbo Shi; Mohsen Emadikhiav; Leonardo Lozano; David Bergman (CoRR, 2022)

Constrained Shortest-Path Reformulations for Discrete Bilevel and Robust Optimization. - Leonardo Lozano; David Bergman; André A. Ciré (CoRR, 2022)

Recursive McCormick Linearization of Multilinear Programs. - Arvind U. Raghunathan; Carlos Cardonha; David Bergman; Carlos J. Nohra (CoRR, 2022)

Maximizing student opportunities for in-person classes under pandemic capacity reductions. - Carlos Cardonha; David Bergman; Robert Day (Decis. Support Syst., 2022)

Network Models for Multiobjective Discrete Optimization. - David Bergman; Merve Bodur; Carlos Cardonha; André A. Ciré (INFORMS J. Comput., 2022)

JANOS: An Integrated Predictive and Prescriptive Modeling Framework. - David Bergman; Teng Huang 002; Philip Brooks; Andrea Lodi 001; Arvind U. Raghunathan (INFORMS J. Comput., 2022)

Improving Variable Orderings of Approximate Decision Diagrams Using Reinforcement Learning. - Quentin Cappart; David Bergman; Louis-Martin Rousseau; Isabeau Prémont-Schwarz; Augustin Parjadis (INFORMS J. Comput., 2022)

Models and Algorithms for the Bin-Packing Problem with Minimum Color Fragmentation. - Saharnaz Mehrani; Carlos Cardonha; David Bergman (INFORMS J. Comput., 2022)

Template-Based Minor Embedding for Adiabatic Quantum Optimization. - Thiago Serra; Teng Huang 002; Arvind U. Raghunathan; David Bergman (INFORMS J. Comput., 2022)

BDD for Complete Characterization of a Safety Violation in Linear Systems with Inputs. - Manish Goyal 002; David Bergman; Parasara Sridhar Duggirala (CoRR, 2023)

Optimizing the Expected Maximum of Two Linear Functions Defined on a Multivariate Gaussian Distribution. - David Bergman; Carlos Cardonha; Jason Imbrogno; Leonardo Lozano (INFORMS J. Comput., 2023)

Optimizing over an Ensemble of Trained Neural Networks. - Keliang Wang; Leonardo Lozano; Carlos Cardonha; David Bergman (INFORMS J. Comput., 2023)

MORBDD: Multiobjective Restricted Binary Decision Diagrams by Learning to Sparsify. - Rahul Patel; Elias B. Khalil; David Bergman (CoRR, 2024)

The Madness of Multiple Entries in March Madness. - Jeff Decary; David Bergman; Carlos Cardonha; Jason Imbrogno; Andrea Lodi 001 (CoRR, 2024)

A decision support framework for integrated lane identification and long-term backhaul collaboration using spatial analytics and optimization. - Mohsen Emadikhiav; Sudip Bhattacharjee; Robert Day; David Bergman (Decis. Support Syst., 2024)

Seamless Multimodal Transportation Scheduling. - Arvind U. Raghunathan; David Bergman; John N. Hooker; Thiago Serra; Shingo Kobori (INFORMS J. Comput., 2024)

Constraint Learning to Define Trust Regions in Optimization over Pre-Trained Predictive Models. - Chenbo Shi; Mohsen Emadikhiav; Leonardo Lozano; David Bergman (INFORMS J. Comput., 2024)