Arrêt de service lundi 11 juillet de 12h30 à 13h : tous les sites du CCSD (HAL, EpiSciences, SciencesConf, AureHAL) seront inaccessibles (branchement réseau à modifier)
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 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.
Chu-Min Li, Felip Manya, J.R. Soler. A Clause Tableau Calculus for MaxSAT. IJCAI International Joint Conference on Artificial Intelligence, Jul 2016, New-York, United States. pp.766--772. ⟨hal-03702170⟩