In this paper, we provide non-clausal tableau calculi for the maximum satisfiability problem and its variants. We discuss both basic calculi to characterize the problem and their modifications to reduce the proof size.

中文翻译：

---

非分句 MaxSAT 问题的新 Tableau 表征

在本文中，我们为最大可满足性问题及其变体提供了非从句表格演算。我们讨论了描述问题的基本微积分及其修改以减少证明大小。