Parameterized and exact algorithms for finding a read-once resolution refutation in 2CNF formulas

In this paper, we discuss algorithms for the problem of finding read-once resolution refutations of unsatisfiable 2CNF formulas within the resolution refutation system. Broadly, a read-once resolution refutation is one in which each constraint (input or derived) is used at most once. Read-once resol...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Annals of mathematics and artificial intelligence Jg. 90; H. 1; S. 3 - 29
Hauptverfasser:	Subramani, K., Wojciechowski, Piotr
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Cham Springer International Publishing 01.01.2022 Springer Springer Nature B.V
Schlagworte:	Algorithms Analysis Artificial Intelligence Boolean Canonical forms Complex Systems Computer Science Design parameters Logic programs Mathematics Parameterization Polynomials Exact exponential algorithms Read-once resolution 09 27 2CNF 90
ISSN:	1012-2443, 1573-7470
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!