Core-boosted linear search for incomplete MaxSAT
type: Item
instance of: scholarly article
title: Core-boosted linear search for incomplete MaxSAT
DOI: 10.1007/978-3-030-19212-9_3
author: Jeremias Berg
author: Emir Demirović
author: Peter J. Stuckey
publication date: 2019-10-14T00:00:00Z
Mathematics Subject Classification ID: 68T20
Mathematics Subject Classification ID: 90C27
zbMATH DE Number: 7116684
zbMATH Keywords: maximum satisfiability
zbMATH Keywords: MaxSAT
zbMATH Keywords: SAT-based MaxSAT
zbMATH Keywords: incomplete solving
zbMATH Keywords: linear algorithm
zbMATH Keywords: core-guided MaxSAT
MaRDI profile type: MaRDI publication profile
full work available at URL: 978-3-030-19212-9 3
OpenAlex ID: W2945627032
Recommended article: Improvements to core-guided binary search for MaxSAT
Recommended article: Generalizing Core-Guided Max-SAT
Recommended article: Iterative and core-guided maxsat solving: a survey and assessment
Recommended article: Cores in core based MaxSat algorithms: an analysis
Recommended article: Abstract cores in implicit hitting set MaxSat solving
Recommended article: New local search methods for partial MaxSAT
Recommended article: MaxSolver: An efficient exact algorithm for (weighted) maximum satisfiability
Recommended article: MAX-closed semilinear constraint satisfaction
Recommended article: A taxonomy of exact methods for partial Max-SAT
description: scientific article; zbMATH DE number 7116684