Zobrazeno 1 - 10
of 41
pro vyhledávání: '"Q-resolution"'
Autor:
Beyersdorff, Olaf, Böhm, Benjamin
QBF solvers implementing the QCDCL paradigm are powerful algorithms that successfully tackle many computationally complex applications. However, our theoretical understanding of the strength and limitations of these QCDCL solvers is very limited. In
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::51b214ee62f1aac251c4b49b7596b301
https://doi.org/10.46298/lmcs-19(2:2)2023
https://doi.org/10.46298/lmcs-19(2:2)2023
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.
Autor:
Slivovsky, Friedrich
Quantified Conflict-Driven Clause Learning (QCDCL) solvers for QBF generate Q-resolution proofs. Pivot variables in Q-resolution must be existentially quantified. Allowing resolution on universally quantified variables leads to a more powerful proof
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c31ccf17b1573288fca7398ced5bab6d
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.
Autor:
Peitl, Tom����
The last two decades have seen the rise of extremely efficient solvers for the satisfiability problem of propositional logic (SAT). While SAT is, as an NP-complete problem, consid- ered theoretically intractable, the solvers have become so efficient
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::aafaa843948cfa39c716e3df0f14e0d2
Autor:
Andrea Bernasconi, Jonathan P. Wright
Publikováno v:
Powder Diffraction. 33:11-20
Different experimental conditions at a versatile high-energy beamline equipped with a two-dimensional detector have been compared for powder diffraction and pair distribution function (PDF) experiments. In particular, sample size and sample to detect
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3e7988498371708bd75891fef14a5edb
https://doi.org/10.1017/s0885715617001166
https://doi.org/10.1017/s0885715617001166
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.
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.
Publikováno v:
Journal of Automated Reasoning
Resolution proof systems for quantified Boolean formulas (QBFs) provide a formal model for studying the limitations of state-of-the-art search-based QBF solvers that use these systems to generate proofs. We study a combination of two proof systems su
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a9e10798c26a918a2adb6785cac797a4
https://pubmed.ncbi.nlm.nih.gov/31105366
https://pubmed.ncbi.nlm.nih.gov/31105366
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.