David Bergman

According to our database, David Bergman authored at least 46 papers between 2011 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

MORBDD: Multiobjective Restricted Binary Decision Diagrams by Learning to Sparsify.

Rahul Patel, Elias B. Khalil, David Bergman

CoRR, 2024

2023

BDD for Complete Characterization of a Safety Violation in Linear Systems with Inputs.

Manish Goyal, David Bergman, Parasara Sridhar Duggirala

CoRR, 2023

2022

Template-Based Minor Embedding for Adiabatic Quantum Optimization.

Thiago Serra, Teng Huang, Arvind U. Raghunathan, David Bergman

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

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

JANOS: An Integrated Predictive and Prescriptive Modeling Framework.

David Bergman, Teng Huang, Philip Brooks, Andrea Lodi, Arvind U. Raghunathan

INFORMS J. Comput., 2022

Network Models for Multiobjective Discrete Optimization.

David Bergman, Merve Bodur, Carlos Cardonha, André A. Ciré

INFORMS J. Comput., 2022

Maximizing student opportunities for in-person classes under pandemic capacity reductions.

Carlos Cardonha, David Bergman, Robert Day

Decis. Support Syst., 2022

Recursive McCormick Linearization of Multilinear Programs.

Arvind U. Raghunathan, Carlos Cardonha, David Bergman, Carlos J. Nohra

CoRR, 2022

Constrained Shortest-Path Reformulations for Discrete Bilevel and Robust Optimization.

Leonardo Lozano, David Bergman, André A. Ciré

CoRR, 2022

Careful! Training Relevance is Real.

Chenbo Shi, Mohsen Emadikhiav, Leonardo Lozano, David Bergman

CoRR, 2022

2021

Decision Diagram Decomposition for Quadratically Constrained Binary Optimization.

David Bergman, Leonardo Lozano

INFORMS J. Comput., 2021

Acceleration techniques for optimization over trained neural network ensembles.

Keliang Wang, Leonardo Lozano, Carlos Cardonha, David Bergman

CoRR, 2021

A Two-Stage Exact Algorithm for Optimization of Neural Network Ensemble.

Keliang Wang, Leonardo Lozano, David Bergman, Carlos Cardonha

Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2021

Improving Branch-and-Bound Using Decision Diagrams and Reinforcement Learning.

Augustin Parjadis, Quentin Cappart, Louis-Martin Rousseau, David Bergman

Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2021

2020

On the Consistent Path Problem.

Leonardo Lozano, David Bergman, J. Cole Smith

Oper. Res., 2020

Generating Longest Counterexample: On the Cross-roads of Mixed Integer Linear Programming and SMT.

Manish Goyal, David Bergman, Parasara Sridhar Duggirala

Proceedings of the 2020 American Control Conference, 2020

2019

On the Minimum Chordal Completion Polytope.

David Bergman, Carlos Henrique Cardonha, André Augusto Ciré, Arvind U. Raghunathan

Oper. Res., 2019

An Exact Algorithm for the Quadratic Multiknapsack Problem with an Application to Event Seating.

David Bergman

INFORMS J. Comput., 2019

Last-Mile Scheduling Under Uncertainty.

Thiago Serra, Arvind U. Raghunathan, David Bergman, John N. Hooker, Shingo Kobori

Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2019

Binary Decision Diagrams for Bin Packing with Minimum Color Fragmentation.

David Bergman, Carlos Cardonha, Saharnaz Mehrani

Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2019

Improving Optimization Bounds Using Machine Learning: Decision Diagrams Meet Deep Reinforcement Learning.

Quentin Cappart, Emmanuel Goutierre, David Bergman, Louis-Martin Rousseau

Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018

Discrete Nonlinear Optimization by State-Space Decompositions.

David Bergman, André A. Ciré

Manag. Sci., 2018

Predictive and Prescriptive Analytics for Location Selection of Add-on Retail Products.

Teng Huang, David Bergman, Ram D. Gopal

CoRR, 2018

The Integrated Last-Mile Transportation Problem (ILMTP).

Arvind U. Raghunathan, David Bergman, John N. Hooker, Thiago Serra, Shingo Kobori

Proceedings of the Twenty-Eighth International Conference on Automated Planning and Scheduling, 2018

2017

Surviving a National Football League Survivor Pool.

David Bergman, Jason Imbrogno

Oper. Res., 2017

On Finding the Optimal BDD Relaxation.

David Bergman, André Augusto Ciré

Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2017

2016

Decision Diagrams for Optimization

David Bergman, André A. Ciré, Willem-Jan van Hoeve, John N. Hooker

Artificial Intelligence: Foundations, Theory, and Algorithms, Springer, ISBN: 978-3-319-42849-9, 2016

Discrete Optimization with Decision Diagrams.

David Bergman, André Augusto Ciré, Willem-Jan van Hoeve, John N. Hooker

INFORMS J. Comput., 2016

Theoretical insights and algorithmic tools for decision diagram-based optimization.

David Bergman, André Augusto Ciré

Constraints An Int. J., 2016

Decompositions Based on Decision Diagrams.

David Bergman

Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2016

Decomposition Based on Decision Diagrams.

David Bergman, André A. Ciré

Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2016

Multiobjective Optimization by Decision Diagrams.

David Bergman, André Augusto Ciré

Proceedings of the Principles and Practice of Constraint Programming, 2016

2015

Lagrangian bounds from decision diagrams.

David Bergman, André Augusto Ciré, Willem-Jan van Hoeve

Constraints An Int. J., 2015

New techniques for discrete optimization.

David Bergman

Constraints An Int. J., 2015

A Benders Approach to the Minimum Chordal Completion Problem.

David Bergman, Arvind U. Raghunathan

Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2015

Improved Constraint Propagation via Lagrangian Decomposition.

David Bergman, André Augusto Ciré, Willem-Jan van Hoeve

Proceedings of the Principles and Practice of Constraint Programming, 2015

2014

MDD Propagation for Sequence Constraints.

David Bergman, André A. Ciré, Willem Jan van Hoeve

J. Artif. Intell. Res., 2014

Optimization Bounds from Binary Decision Diagrams.

David Bergman, André A. Ciré, Willem Jan van Hoeve, John N. Hooker

INFORMS J. Comput., 2014

BDD-based heuristics for binary optimization.

David Bergman, André A. Ciré, Willem Jan van Hoeve, Tallys H. Yunes

J. Heuristics, 2014

Graph coloring inequalities from all-different systems.

David Bergman, John N. Hooker

Constraints An Int. J., 2014

Parallel Combinatorial Optimization with Decision Diagrams.

David Bergman, André A. Ciré, Ashish Sabharwal, Horst Samulowitz, Vijay A. Saraswat, Willem Jan van Hoeve

Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2014

Optimization Bounds from Binary Decision Diagrams - (Extended Abstract).

David Bergman, André A. Ciré, Willem Jan van Hoeve, John N. Hooker

Proceedings of the Principles and Practice of Constraint Programming, 2014

2012

Graph Coloring Facets from All-Different Systems.

David Bergman, John N. Hooker

Proceedings of the Integration of AI and OR Techniques in Contraint Programming for Combinatorial Optimzation Problems, 2012

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

Proceedings of the Integration of AI and OR Techniques in Contraint Programming for Combinatorial Optimzation Problems, 2012

2011

Manipulating MDD Relaxations for Combinatorial Optimization.

David Bergman, Willem Jan van Hoeve, John N. Hooker

Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2011