Polynomial calculus for MaxSAT
From MaRDI portal
Publication:6643077
DOI10.4230/LIPICS.SAT.2023.5MaRDI QIDQ6643077
Ilario Bonacina, Jordi Levy, Maria Luisa Bonet
Publication date: 26 November 2024
Analysis of algorithms and problem complexity (68Q25) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Computational aspects of satisfiability (68R07)
Related Items (1)
This page was built for publication: Polynomial calculus for MaxSAT
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6643077)
