Rudich, Isaac

1 publications

JAIR 2023 Improved Peel-and-Bound: Methods for Generating Dual Bounds with Multivalued Decision Diagrams Isaac Rudich, Quentin Cappart, Louis-Martin Rousseau