BriefGPT.xyz
May, 2024
求解具有少量存在变量的量化布尔公式
Solving Quantified Boolean Formulas with Few Existential Variables
HTML
PDF
Leif Eriksson, Victor Lagerkvist, George Osipov, Sebastian Ordyniak, Fahad Panolan...
TL;DR
通过对存在量化变量数量的参数化,我们开发了一种适用于有界子句长度的共价正常形式(CNF)QBF实例的新型固定参数可解性算法。
Abstract
The
quantified boolean formula
(
qbf
) problem is an important decision problem generally viewed as the archetype for
pspace-completeness
. M
→