Understanding the power of Max-SAT resolution through up-resilience
type: Item
instance of: scholarly article
title: Understanding the power of Max-SAT resolution through up-resilience
zbMATH Open document ID: 1504.68203
author: Mohamed Sami Cherif
author: Djamal Habet
author: André Abramé
published in: Artificial Intelligence
publication date: 2021-08-16T00:00:00Z
Mathematics Subject Classification ID: 68T20
zbMATH DE Number: 7382232
zbMATH Keywords: branch and bound
zbMATH Keywords: Max-SAT resolution
zbMATH Keywords: simulated unit propagation
zbMATH Keywords: up-resilience
describes a project that uses: MiniMaxSat
describes a project that uses: MaxHS
describes a project that uses: RC2
describes a project that uses: Open-WBO
MaRDI profile type: Publication
full work available at URL: j.artint.2020.103397
OpenAlex ID: W3092575679
cites work: RC2: an Efficient MaxSAT Solver
cites work: Open-WBO: A Modular MaxSAT Solver,
cites work: Solving (Weighted) Partial MaxSAT through Satisfiability Testing
cites work: ahmaxsat: Description and Evaluation of a Branch and Bound Max-SAT Solver
cites work: Q3624109
cites work: Resolution-based lower bounds in MaxSAT
cites work: Q3624095
cites work: Exploiting Unit Propagation to Compute Lower Bounds in Branch and Bound Max-SAT Solvers
cites work: Resolution for Max-SAT
cites work: New Upper Bounds for Maximum Satisfiability
cites work: GRASP: a search algorithm for propositional satisfiability
cites work: A logical approach to efficient Max-SAT solving
DOI: 10.1016/J.ARTINT.2020.103397
description: scientific article; zbMATH DE number 7382232