Výsledky vyhledávání - "Exact exponential algorithms"
-
1
Parameterized and exact algorithms for finding a read-once resolution refutation in 2CNF formulas
ISSN: 1012-2443, 1573-7470Vydáno: Cham Springer International Publishing 01.01.2022Vydáno v Annals of mathematics and artificial intelligence (01.01.2022)“…In this paper, we discuss algorithms for the problem of finding read-once resolution refutations of unsatisfiable 2CNF formulas within the resolution…”
Získat plný text
Journal Article -
2
Real-time solving of computationally hard problems using optimal algorithm portfolios
ISSN: 1012-2443, 1573-7470Vydáno: Cham Springer International Publishing 01.07.2021Vydáno v Annals of mathematics and artificial intelligence (01.07.2021)“… For such a task, the exact, exponential algorithms, as well as various Polynomial-Time Approximation Schemes, are irrelevant because they can…”
Získat plný text
Journal Article