Back to Search
Start Over
A non-clausal tableau calculus for MINSAT
- Publication Year :
- 2022
-
Abstract
- In this paper we provide a non-clausal tableau calculus for the minimum satisfiability problem. Moreover we describe how to adapt it to some variants. Our starting point is a calculus for non-clausal maximum satisfiability problem.
Details
- Database :
- OAIster
- Notes :
- Fiorino, G, Fiorino G.
- Publication Type :
- Electronic Resource
- Accession number :
- edsoai.on1308940189
- Document Type :
- Electronic Resource