A Refined Branching Algorithm for the Maximum Satisfiability Problem

The Maximum satisfiability problem ( MaxSAT ) is a fundamental NP-hard problem which has significant applications in many areas. Based on refined observations, we derive a branching algorithm of running time  O ∗ ( 1 . 2989 m ) for the MaxSAT problem, where  m denotes the number of clauses in the gi...

Full description

Bibliographic Details

Published in:	Algorithmica Vol. 84; no. 4; pp. 982 - 1006
Main Authors:	Li, Wenjun, Xu, Chao, Yang, Yongjie, Chen, Jianer, Wang, Jianxin
Format:	Journal Article
Language:	English
Published:	New York Springer US 01.04.2022 Springer Nature B.V
Subjects:	Algorithm Analysis and Problem Complexity Algorithms Computer Science Computer Systems Organization and Communication Networks Data Structures and Information Theory Mathematics of Computing Polynomials Theory of Computation Maximum satisfiability Branching algorithms Exact algorithms
ISSN:	0178-4617, 1432-0541
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!