Generalized Totalizer Encoding for Pseudo-Boolean Constraints

21 July 2015

Papers citing "Generalized Totalizer Encoding for Pseudo-Boolean Constraints"

3 / 3 papers shown

Title
Certifying Pareto-Optimality in Multi-Objective Maximum Satisfiability Christoph Jabs Jeremias Berg Bart Bogaerts Matti Järvisalo 47 1 0 29 Jan 2025
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 25 5 0 14 Apr 2022
Approximation Strategies for Incomplete MaxSAT Saurabh Joshi Prateek Kumar Ruben Martins Sukrut Rao 31 16 0 19 Jun 2018