BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
quantifi (2)
base (2)
structur (1)
preprocessor (1)
suit (1)

Stem qbfs$ (all stems)

7 papers:

ICSTSAT-2015-LonsingE #api #incremental #satisfiability
Incrementally Computing Minimal Unsatisfiable Cores of QBFs via a Clause Group Solver API (FL, UE), pp. 191–198.
ICSTSAT-2012-Egly #on the
On Sequent Systems and Resolution for QBFs (UE), pp. 100–113.
ICSTSAT-2010-GiunchigliaMN #effectiveness #equivalence #named #preprocessor #reasoning
sQueezeBF: An Effective Preprocessor for QBFs Based on Equivalence Reasoning (EG, PM, MN), pp. 85–98.
ICSTSAT-2009-LonsingB #dependence #representation
A Compact Representation for Syntactic Dependencies in QBFs (FL, AB), pp. 398–411.
DATEDATE-2006-GiunchigliaNT #quantifier
Quantifier structure in search based procedures for QBFs (EG, MN, AT), pp. 812–817.
CADECADE-2005-Benedetti #named
sKizzo: A Suite to Evaluate and Certify QBFs (MB), pp. 369–376.
ICSTSAT-2005-Benedetti #quantifier
Quantifier Trees for QBFs (MB), pp. 378–385.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.