Zobrazeno 1 - 10
of 2 246
pro vyhledávání: '"Quantified Boolean formulas"'
Symmetries have been exploited successfully within the realms of SAT and QBF to improve solver performance in practical applications and to devise more powerful proof systems. As a first step towards extending these advancements to the class of depen
Externí odkaz:
http://arxiv.org/abs/2410.15848
Autor:
Eriksson, Leif, Lagerkvist, Victor, Osipov, George, Ordyniak, Sebastian, Panolan, Fahad, Rychlicki, Mateusz
The quantified Boolean formula (QBF) problem is an important decision problem generally viewed as the archetype for PSPACE-completeness. Many problems of central interest in AI are in general not included in NP, e.g., planning, model checking, and no
Externí odkaz:
http://arxiv.org/abs/2405.06485
Kniha
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
In Theoretical Computer Science 10 August 2022 925:1-24
Dependency quantified Boolean formulas (DQBFs) are a powerful formalism, which subsumes quantified Boolean formulas (QBFs) and allows an explicit specification of dependencies of existential variables on universal variables. Driven by the needs of va
Externí odkaz:
http://arxiv.org/abs/1905.04755
We demonstrate how to learn efficient heuristics for automated reasoning algorithms for quantified Boolean formulas through deep reinforcement learning. We focus on a backtracking search algorithm, which can already solve formulas of impressive size
Externí odkaz:
http://arxiv.org/abs/1807.08058
Autor:
Kauers, Manuel, Seidl, Martina
While symmetries are well understood for Boolean formulas and successfully exploited in practical SAT solving, less is known about symmetries in quantified Boolean formulas (QBF). There are some works introducing adaptions of propositional symmetry b
Externí odkaz:
http://arxiv.org/abs/1802.03993
Autor:
Kauers, Manuel, Seidl, Martina
We exploit symmetries to give short proofs for two prominent formula families of QBF proof complexity. On the one hand, we employ symmetry breakers. On the other hand, we enrich the (relatively weak) QBF resolution calculus Q-Res with the symmetry ru
Externí odkaz:
http://arxiv.org/abs/1804.01437
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.