Polynomial calculus for MaxSAT

DOI10.4230/LIPICS.SAT.2023.5MaRDI QIDQ6643077zbMATH OpenFDO

Authors Ilario Bonacina, Maria Luisa Bonet, Jordi Levy

Publication date 26 November 2024

Full work available at URL https://doi.org/10.4230/LIPICS.SAT.2023.5

zbMATH Keywords

algebraic reasoningMaxSATpolynomial calculusproof systems

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Computational aspects of satisfiability (68R07) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Cited in

(1)

• Polynomial calculus for optimization

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)