Hqspre - An Effective Preprocessor For Qbf And Dqbf | 3 | 0.38 | 2017 |
HQSpre - An Effective Preprocessor for QBF and DQBF. | 0 | 0.34 | 2017 |
Twelve Years of QBF Evaluations: QSAT Is PSPACE-Hard and It Shows. | 0 | 0.34 | 2016 |
An Empirical Perspective on Ten Years of QBF Solving. | 0 | 0.34 | 2015 |
Verification of partial designs using incremental QBF. | 3 | 0.39 | 2015 |
QBF with Soft Variables. | 1 | 0.35 | 2014 |
Incremental QBF Preprocessing for Partial Design Verification - (Poster Presentation). | 5 | 0.41 | 2012 |
ALLQBF solving by computational learning | 6 | 0.48 | 2012 |
Verification of partial designs using incremental QBF solving | 6 | 0.45 | 2012 |
Parallel QBF Solving with Advanced Knowledge Sharing | 4 | 0.42 | 2011 |
sQueezeBF: an effective preprocessor for QBFs based on equivalence reasoning | 26 | 0.92 | 2010 |
QuBE7.0 | 0 | 0.34 | 2010 |
Evaluation of Knowledge Sharing Strategies in a Parallel QBF Solver | 0 | 0.34 | 2009 |
PaQuBE: Distributed QBF Solving with Advanced Knowledge Sharing | 8 | 0.55 | 2009 |
Comparison of knowledge sharing strategies in a parallel QBF solver. | 3 | 0.38 | 2009 |
Preprocessing Techniques for QBFs | 2 | 0.40 | 2008 |