Search
 
loader loading subjects...
cover
A Clause Tableau Calculus for MinSAT
Chu Min Li, Felip Manyà, Joan Ramon Soler
88 - 97
10.3233/978-1-61499-696-5-88
Frontiers in Artificial Intelligence and Applications
Volume 288: Artificial Intelligence Research and Development
Abstract

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.

$35.00 / €27.50 / £22.00
Add PDF to cart