A New Look at BDDs for Pseudo-Boolean Constraints

23 January 2014

Papers citing "A New Look at BDDs for Pseudo-Boolean Constraints"

4 / 4 papers shown

Title
Optimal Decision Diagrams for Classification Alexandre M. Florio P. Martins Maximilian Schiffer Thiago Serra Thibaut Vidal 61 13 0 28 May 2022
Exact and approximate determination of the Pareto set using minimal correction subsets Andreia P. Guerreiro João Cortes D. Vanderpooten C. Bazgan I. Lynce Vasco M. Manquinho J. Figueira 27 5 0 14 Apr 2022
A Lower Bound on DNNF Encodings of Pseudo-Boolean Constraints Alexis de Colnet AI4CE 20 1 0 06 Jan 2021
Generalized Totalizer Encoding for Pseudo-Boolean Constraints Saurabh Joshi Ruben Martins Vasco M. Manquinho AI4CE 46 53 0 21 Jul 2015