Clause tableaux for maximum and minimum satisfiability

DOI10.1093/jigpal/jzz025OpenAlexW2971244387WikidataQ127703789 ScholiaQ127703789MaRDI QIDQ5018764

Joan Ramon Soler, Felip Manyà, Josep Argelich, Chu-Min Li

Publication date: 22 December 2021

Published in: Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/jzz025

zbMATH Keywords

calculuscompletenesstableauxMaxSATBoolean optimizationMinSAT

Mathematics Subject Classification ID

Logic in computer science (03B70) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items (2)

A primal-dual approximation algorithm for \textsc{minsat} ⋮ A non-clausal tableau calculus for \textsc{MinSat}

This page was built for publication: Clause tableaux for maximum and minimum satisfiability