Skip to Main content Skip to Navigation
Conference papers

Sur l'UP-résilience des k-UCSs binaires

Abstract : Abstract Branch and Bound (BnB) solvers for Max-SAT exploit max-resolution, the inference rule for Max-SAT, to ensure that every computed Inconsistent Subset (IS) is counted only once. However, learning max-resolution transformations can be detrimental to their performance so they are usually selectively learned if they respect certain patterns. In this paper, we focus on particular patterns called binary k-UCSs. We prove that these patterns verify a recent characterization of max-resolution transformations called UP-resilience and we show how this result can help extend the current patterns. Finally, this work is part of a global approach to characterize the relevance of transformations by max-resolution.
Document type :
Conference papers
Complete list of metadata

Cited literature [8 references]  Display  Hide  Download
Contributor : Djamal Habet Connect in order to contact the contributor
Submitted on : Tuesday, September 24, 2019 - 8:46:58 AM
Last modification on : Thursday, July 14, 2022 - 4:10:31 AM
Long-term archiving on: : Sunday, February 9, 2020 - 7:24:29 AM


Files produced by the author(s)


  • HAL Id : hal-02295161, version 1



Mohamed Sami Cherif, Djamal Habet. Sur l'UP-résilience des k-UCSs binaires. Actes des 15èmes Journées Francophones de Programmation par Contraintes (JFPC), pp. 177-180, Jun 2019, Albi, France. ⟨hal-02295161⟩



Record views


Files downloads