Parallel Maximum Satisfiability

InĂªs Lynce, Vasco M. Manquinho, Ruben Martins. Parallel Maximum Satisfiability. In Youssef Hamadi, Lakhdar Sais, editors, Handbook of Parallel Constraint Reasoning. pages 61-99, Springer, 2018. [doi]

Abstract

Abstract is missing.