资源分类
》 资源 》论文》Exploiting the Structure of Unsatisfiable Cores in MaxSAT

Exploiting the Structure of Unsatisfiable Cores in MaxSAT

2019-11-18 | |  76 |   51 |   0

Abstract We propose a new approach that exploits the good properties of core-guided and model-guided MaxSAT solvers. In particular, we show how to effectively exploit the structure of unsatisfiable cores in MaxSAT instances. Experimental results on industrial instances show that the proposed approach outperforms both complete and incomplete stateof-the-art MaxSAT solvers at the last international MaxSAT Evaluation in terms of robustness and total number of solved instances.

上一篇：Improving the Efficiency of Dynamic Programming on Tree Decompositions via Machine Learning

下一篇：Multi-Armed Bandits for Adaptive Constraint Propagation

用户评价
全部评价

热门资源

  • The Variational S...

    Unlike traditional images which do not offer in...

  • Learning to Predi...

    Much of model-based reinforcement learning invo...

  • Stratified Strate...

    In this paper we introduce Stratified Strategy ...

  • A Mathematical Mo...

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

  • Rating-Boosted La...

    The performance of a recommendation system reli...