Dealing with 4-variables by resolution: An improved MaxSAT algorithm

We study techniques for solving the Maximum Satisfiability problem (MaxSAT). Our focus is on variables of degree 4. We identify cases for degree-4 variables and show how the resolution principle and the kernelization techniques can be nicely integrated to achieve more efficient algorithms for the Ma...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Theoretical computer science Jg. 670; S. 33 - 44
Hauptverfasser:	Chen, Jianer, Xu, Chao, Wang, Jianxin
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Elsevier B.V 29.03.2017
Schlagworte:	Branch and bound Maximum satisfiability Parameterized algorithm The resolution principle Maximum satisfiability Parameterized algorithm Branch and bound The resolution principle
ISSN:	0304-3975, 1879-2294
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!