资源分类
》 资源 》论文》A Clause Tableau Calculus for MaxSAT

A Clause Tableau Calculus for MaxSAT

2019-11-22 | |  53 |   43 |   0
Abstract We define a clause tableau calculus for MaxSAT, prove its soundness and completeness, and describe a tableau-based algorithm for MaxSAT. Given a multiset of clauses , the algorithm computes both the minimum number of clauses that can be falsified in , and an optimal assignment. We also describe how the algorithm can be extended to solve weighted MaxSAT and weighted partial MaxSAT.

上一篇：Static Symmetry Breaking with the Reflex Ordering

下一篇：Optimizing Molecular Cloning of Multiple Plasmids

用户评价
全部评价

热门资源

  • Learning to Predi...

    Much of model-based reinforcement learning invo...

  • Stratified Strate...

    In this paper we introduce Stratified Strategy ...

  • The Variational S...

    Unlike traditional images which do not offer in...

  • A Mathematical Mo...

    Direct democracy, where each voter casts one vo...

  • Rating-Boosted La...

    The performance of a recommendation system reli...