A proof builder for Max-SAT
type: Item
instance of: scholarly article
title: A proof builder for Max-SAT
DOI: 10.1007/978-3-030-80223-3_33
author: Matthieu Py
author: Mohamed Sami Cherif
author: Djamal Habet
publication date: 2022-03-22T00:00:00Z
Mathematics Subject Classification ID: 68Q25
Mathematics Subject Classification ID: 68R07
Mathematics Subject Classification ID: 68T20
zbMATH DE Number: 7495593
zbMATH Keywords: max-SAT
zbMATH Keywords: proof
zbMATH Keywords: max-SAT resolution
describes a project that uses: Open-WBO
describes a project that uses: BooleForce
describes a project that uses: RC2
describes a project that uses: PicoSAT
describes a project that uses: MaxHS
MaRDI profile type: Publication
full work available at URL: 978-3-030-80223-3 33
OpenAlex ID: W3185606021
cites work: ahmaxsat: Description and Evaluation of a Branch and Bound Max-SAT Solver
cites work: RC2: an Efficient MaxSAT Solver
cites work: Unsatisfiability-based optimization in clasp
cites work: Near optimal seperation of tree-like and general resolution
cites work: Q3604000
cites work: Equivalence between systems stronger than resolution
cites work: A Complete Calculus for Max-SAT
cites work: Resolution for Max-SAT
cites work: Principles and Practice of Constraint Programming – CP 2003
cites work: Q3181650
cites work: Q4937847
cites work: Local Consistency in Weighted CSPs and Inference in Max-SAT
cites work: Towards a better understanding of (partial weighted) MaxSAT proof systems
cites work: Q3624095
cites work: Q5600875
cites work: Open-WBO: A Modular MaxSAT Solver,
cites work: A Machine-Oriented Logic Based on the Resolution Principle
cites work: The Complexity of Propositional Proofs
cites work: A Near-Optimal Separation of Regular and General Resolution
description: scientific article; zbMATH DE number 7495593