A tableau calculus for non-clausal maximum satisfiability
From MaRDI portal
Publication:2180507
DOI10.1007/978-3-030-29026-9_4zbMath1435.68372OpenAlexW2969747068MaRDI QIDQ2180507
Joan Ramon Soler, Felip Manyà, Chu-Min Li
Publication date: 14 May 2020
Full work available at URL: http://hdl.handle.net/10261/238716
Classical propositional logic (03B05) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15) Computational aspects of satisfiability (68R07)
Related Items (3)
MaxSAT resolution for regular propositional logic ⋮ A non-clausal tableau calculus for \textsc{MinSat} ⋮ The possibilistic Horn non-clausal knowledge bases
This page was built for publication: A tableau calculus for non-clausal maximum satisfiability
