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:
solver (12)
solv (11)
base (9)
preprocess (5)
resolut (5)

Stem qbf$ (all stems)

48 papers:

ICALPICALP-v1-2015-BeyersdorffCMS #calculus
Feasible Interpolation for QBF Resolution Calculi (OB, LC, MM, AS), pp. 180–192.
ICSTSAT-2015-TuHJ #learning #named #reasoning #satisfiability
QELL: QBF Reasoning with Extended Clause Learning and Levelized SAT Solving (KHT, TCH, JHRJ), pp. 343–359.
IJCARIJCAR-2014-HeuleSB #preprocessor #proving
A Unified Proof System for QBF Preprocessing (MH, MS, AB), pp. 91–106.
IJCARIJCAR-2014-Zhang #encoding #verification
QBF Encoding of Temporal Properties and QBF-Based Verification (WZ), pp. 224–239.
ICSTSAT-2014-BalabanovWJ #proving
QBF Resolution Systems and Their Proof Complexities (VB, MW, JHRJ), pp. 154–169.
ICSTSAT-2014-HeymanSMLA #using
Dominant Controllability Check Using QBF-Solver and Netlist Optimizer (TH, DS, YM, LL, HAH), pp. 227–242.
ICSTSAT-2014-JordanKLS #named #parallel #towards
MPIDepQBF: Towards Parallel QBF Solving without Knowledge Sharing (CJ, LK, FL, MS), pp. 430–437.
Bridging the gap between dual propagation and CNF-based QBF solving (AG, MS, AB), pp. 811–814.
DATEDATE-2013-HillebrechtKEWB #generative
Accurate QBF-based test pattern generation in presence of unknown values (SH, MAK, DE, HJW, BB), pp. 436–441.
Recovering and Utilizing Partial Duality in QBF (AG, FB), pp. 83–99.
ICSTSAT-2013-JanotaM #on the
On Propositional QBF Expansions and Q-Resolution (MJ, JMS), pp. 67–82.
ICSTSAT-2013-LonsingEG #learning #performance #pseudo #quantifier
Efficient Clause Learning for Quantified Boolean Formulas via QBF Pseudo Unit Propagation (FL, UE, AVG), pp. 100–115.
DATEDATE-2012-MarinMLB #design #incremental #using #verification
Verification of partial designs using incremental QBF solving (PM, CM, MDTL, BB), pp. 623–628.
ICSTSAT-2012-BaylessH #algorithm
Single-Solver Algorithms for 2QBF — (Poster Presentation) (SB, AJH), pp. 487–488.
ICSTSAT-2012-JanotaKMC #refinement
Solving QBF with Counterexample Guided Refinement (MJ, WK, JMS, EMC), pp. 114–128.
ICSTSAT-2012-MarinMB #design #incremental #preprocessor #verification
Incremental QBF Preprocessing for Partial Design Verification — (Poster Presentation) (PM, CM, BB), pp. 473–474.
Resolution-Based Certificate Extraction for QBF — (Tool Presentation) (AN, MP, FL, MS, AB), pp. 430–435.
DATEDATE-2011-ReimerPSB #integration #orthogonal
Integration of orthogonal QBF solving techniques (SR, FP, CS, BB), pp. 149–154.
Blocked Clause Elimination for QBF (AB, FL, MS), pp. 101–115.
CAVCAV-2011-BalabanovJ #evaluation #proving
Resolution Proofs and Skolem Functions in QBF Evaluation and Applications (VB, JHRJ), pp. 149–164.
ICSTSAT-2011-JanotaS #algorithm
Abstraction-Based Algorithm for 2QBF (MJ, JPMS), pp. 230–244.
ICSTSAT-2011-LonsingB #detection
Failed Literal Detection for QBF (FL, AB), pp. 259–272.
DACDAC-2010-PigorschS #preprocessor #satisfiability #using
An AIG-Based QBF-solver using SAT for preprocessing (FP, CS), pp. 170–175.
DATEDATE-2010-MangassarianLGVB #preprocessor
Leveraging dominators for preprocessing QBF (HM, BL, AG, AGV, FB), pp. 1695–1700.
ICSTSAT-2010-BrummayerLB #automation #debugging #satisfiability #testing
Automated Testing and Debugging of SAT and QBF Solvers (RB, FL, AB), pp. 44–57.
Exploiting Circuit Representations in QBF Solving (AG, FB), pp. 333–339.
ICSTSAT-2010-KlieberSGC #learning
A Non-prenex, Non-clausal QBF Solver with Game-State Learning (WK, SS, SG, EMC), pp. 128–142.
ICSTSAT-2010-LonsingB #dependence #search-based
Integrating Dependency Schemes in Search-Based QBF Solvers (FL, AB), pp. 158–171.
ICSTSAT-2010-PeschieraPTBKL #evaluation
The Seventh QBF Solvers Evaluation (QBFEVAL’10) (CP, LP, AT, UB, OK, IL), pp. 237–250.
Exploiting structure in an AIG based QBF solver (FP, CS), pp. 1596–1601.
Beyond CNF: A Circuit-Based QBF Solver (AG, VI, FB), pp. 412–426.
ICSTSAT-2009-LewisMSNBG #distributed #named
PaQuBE: Distributed QBF Solving with Advanced Knowledge Sharing (MDTL, PM, TS, MN, BB, EG), pp. 509–523.
ICSTSAT-2008-LonsingB #named
Nenofex: Expanding NNF for QBF Solving (FL, AB), pp. 196–210.
ICSTSAT-2007-BubeckB #bound #preprocessor
Bounded Universal Expansion for Preprocessing QBF (UB, HKB), pp. 244–257.
ICSTSAT-2007-JussilaBSKW #proving #towards
A First Step Towards a Unified Proof Checker for QBF (TJ, AB, CS, DK, CMW), pp. 201–214.
ICSTSAT-2007-SamulowitzB #clustering
Dynamically Partitioning for Solving QBF (HS, FB), pp. 215–229.
ICSTSAT-2007-StaberB #fault #locality
Fault Localization and Correction with QBF (SS, RB), pp. 355–368.
ICSTSAT-2006-SabharwalAGHS #modelling #performance #symmetry
QBF Modeling: Exploiting Player Symmetry for Simplicity and Efficiency (AS, CA, CPG, JWH, BS), pp. 382–395.
ICSTSAT-2006-SamulowitzB #reasoning
Binary Clause Reasoning in QBF (HS, FB), pp. 353–367.
ICSTSAT-J-2004-BerreNST05 #comparative #evaluation
The Second QBF Solvers Comparative Evaluation (DLB, MN, LS, AT), pp. 376–392.
ICSTSAT-J-2004-GiunchigliaNT05 #reasoning
QBF Reasoning on Real-World Instances (EG, MN, AT), pp. 105–121.
ICSTSAT-2005-DershowitzHK #bound #model checking
Bounded Model Checking with QBF (ND, ZH, JK), pp. 408–414.
ICSTSAT-2005-GentR #learning
Local and Global Complete Solution Learning Methods for QBF (IPG, AGDR), pp. 91–106.
SATSAT-2004-GiunchigliaNT #reasoning
QBF Reasoning on Real-World Instances (EG, MN, AT), pp. 247–254.
ICSTSAT-2003-BerreST #challenge #evaluation #satisfiability
Challenges in the QBF Arena: the SAT’03 Evaluation of QBF Solvers (DLB, LS, AT), pp. 468–485.
ICSTSAT-2003-GentGNRT #data type
Watched Data Structures for QBF Solvers (IPG, EG, MN, AGDR, AT), pp. 25–36.
ICSTSAT-2003-MneimnehS #graph #scalability
Computing Vertex Eccentricity in Exponentially Large Graphs: QBF Formulation and Solution (MNM, KAS), pp. 411–425.
Solving QBF by SMV (FMD, PL, FM, MS), pp. 578–592.

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.