A proof builder for Max-SAT

DOI10.1007/978-3-030-80223-3_33MaRDI QIDQ2118341zbMATH OpenOpenAlexFDO

Authors Matthieu Py, Mohamed Sami Cherif, Djamal Habet

Publication date 22 March 2022

Full work available at URL https://doi.org/10.1007/978-3-030-80223-3_33

zbMATH Keywords

proofmax-SATmax-SAT resolution

Mathematics Subject Classification ID

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

Cites work

• scientific article; zbMATH DE number 5613975 (Why is no real title available?)
• scientific article; zbMATH DE number 5510691 (Why is no real title available?)
• scientific article; zbMATH DE number 1404230 (Why is no real title available?)
• scientific article; zbMATH DE number 3320385 (Why is no real title available?)
• A Complete Calculus for Max-SAT
• A Machine-Oriented Logic Based on the Resolution Principle
• A near-optimal separation of regular and general resolution
• Equivalence between systems stronger than resolution
• Local Consistency in Weighted CSPs and Inference in Max-SAT
• Near optimal seperation of tree-like and general resolution
• New inference rules for Max-SAT
• Open-WBO: a modular MaxSAT solver
• RC2: an efficient MaxSAT solver
• Resolution for Max-SAT
• Solving Max-SAT as weighted CSP
• The Complexity of Propositional Proofs
• Towards a better understanding of (partial weighted) MaxSAT proof systems
• Unsatisfiability-based optimization in clasp
• \textsc{ahmaxsat}: description and evaluation of a branch and bound Max-SAT solver

Cited in

(6)

• A Preprocessor for Max-SAT Solvers
• Lower bounds of functions on finite abelian groups
• Proof Complexity for the Maximum Satisfiability Problem and its Use in SAT Refutations
• Certified Core-Guided MaxSAT Solving
• Proofs and Certificates for Max-SAT
• QMaxSATpb: a certified MaxSAT solver

Describes a project that uses

Uses Software

• RC2
• BooleForce
• MaxHS
• Open-WBO
• PicoSAT

This page was built for publication: A proof builder for Max-SAT

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2118341)