Chu Min Li, Felip Manyà, Joan Ramon Soler. A Tableau Calculus for Non-clausal Maximum Satisfiability. In Serenella Cerrito, Andrei Popescu 0001, editors, Automated Reasoning with Analytic Tableaux and Related Methods - 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings. Volume 11714 of Lecture Notes in Computer Science, pages 58-73, Springer, 2019. [doi]
Abstract is missing.