A Clause Tableau Calculus for MinSAT - Université de Picardie Jules Verne Accéder directement au contenu
Communication Dans Un Congrès Année : 2016

A Clause Tableau Calculus for MinSAT


We define a clause tableau calculus for MinSAT, and prove its soundness and completeness. The calculus allows one to compute the maximum number of clauses that can be falsified in a multiset of clauses by applying, finitely many times, tableaux-like inference rules. We also describe how the calculus can be extended to solve weighted MinSAT and weighted partial MinSAT.
Fichier non déposé

Dates et versions

hal-03636431 , version 1 (10-04-2022)



Chu Min Li, Felip Manya, Joan Ramon Soler. A Clause Tableau Calculus for MinSAT. ARTIFICIAL INTELLIGENCE RESEARCH AND DEVELOPMENT, Oct 2016, Barcelona, Spain. pp.88-97, ⟨10.3233/978-1-61499-696-5-88⟩. ⟨hal-03636431⟩
25 Consultations
0 Téléchargements



Gmail Mastodon Facebook X LinkedIn More