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...

Celý popis

Uloženo v:

Podrobná bibliografie
Vydáno v:	Annals of mathematics and artificial intelligence Ročník 90; číslo 1; s. 3 - 29
Hlavní autoři:	Subramani, K., Wojciechowski, Piotr
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Cham Springer International Publishing 01.01.2022 Springer Springer Nature B.V
Témata:	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
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!