资源分类
》 资源 》》Exploiting the Structure of Unsatisfiable Cores in MaxSAT? Carlos Anso?tegui Frederic Didier Joel Gaba?s

Exploiting the Structure of Unsatisfiable Cores in MaxSAT? Carlos Anso?tegui Frederic Didier Joel Gaba?s

2019-11-18 | |  39 |   1 |   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.

上一篇：On the Resiliency of Unit Propagation to Max-Resolution Andre? Abrame? and Djamal Habet

下一篇：Multi-Armed Bandits for Adaptive Constraint Propagation? Amine Balafrej Christian Bessiere Anastasia Paparrizou

用户评价
全部评价

热门资源

  • Multi-Source Cros...

    Modern NLP applications have enjoyed a great bo...

  • Reference Network...

    Neural Machine Translation (NMT) has achieved n...

  • Soft Contextual D...

    While data augmentation is an important trick t...

  • Style Transformer...

    Disentangling the content and style in the lat...

  • Towards Fine-grai...

    In this paper, we focus on the task of finegra...