Incremental Cardinality Constraints for MaxSAT

20 August 2014

Papers citing "Incremental Cardinality Constraints for MaxSAT"

6 / 6 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
UpMax: User partitioning for MaxSAT Pedro Orvalho Vasco M. Manquinho Ruben Martins 37 0 0 25 May 2023
Approximation Strategies for Incomplete MaxSAT Saurabh Joshi Prateek Kumar Ruben Martins Sukrut Rao 31 16 0 19 Jun 2018
Solving MaxSAT by Successive Calls to a SAT Solver M. E. Halaby LRM ReLM ReCod 38 3 0 11 Mar 2016
Generalized Totalizer Encoding for Pseudo-Boolean Constraints Saurabh Joshi Ruben Martins Vasco M. Manquinho AI4CE 46 53 0 21 Jul 2015
Exploiting Resolution-based Representations for MaxSAT Solving M. Neves Ruben Martins Mikoláš Janota I. Lynce Vasco M. Manquinho 26 20 0 10 May 2015