A Cube Distribution Approach to QBF Solving and Certificate Minimization
暂无分享,去创建一个
[1] Markus N. Rabe,et al. CAQE: A Certifying QBF Solver , 2015, 2015 Formal Methods in Computer-Aided Design (FMCAD).
[2] Nachum Dershowitz,et al. Bounded Model Checking with QBF , 2005, SAT.
[3] Mikolás Janota,et al. Solving QBF by Clause Selection , 2015, IJCAI.
[4] Jie-Hong Roland Jiang,et al. Interpolating functions from large Boolean relations , 2009, 2009 IEEE/ACM International Conference on Computer-Aided Design - Digest of Technical Papers.
[5] Armin Biere,et al. Skolem Function Continuation for Quantified Boolean Formulas , 2017, TAP@STAF.
[6] Armin Biere,et al. Solution Validation and Extraction for QBF Preprocessing , 2016, Journal of Automated Reasoning.
[7] Alan Mishchenko,et al. Efficient Computation of ECO Patch Functions , 2018, 2018 55th ACM/ESDA/IEEE Design Automation Conference (DAC).
[8] Alan Mishchenko,et al. Applying Logic Synthesis for Speeding Up SAT , 2007, SAT.
[9] Leander Tentrup,et al. Solving QBF by Abstraction , 2018, GandALF.
[10] Bernd Becker,et al. HQSpre - An Effective Preprocessor for QBF and DQBF , 2017, TACAS.
[11] Armin Biere,et al. DepQBF: A Dependency-Aware QBF Solver , 2010, J. Satisf. Boolean Model. Comput..
[12] Leander Tentrup. On Expansion and Resolution in CEGAR Based QBF Solving , 2017, CAV.
[13] Jie-Hong Roland Jiang,et al. Unified QBF certification and its applications , 2012, Formal Methods Syst. Des..
[14] Robert K. Brayton,et al. ABC: An Academic Industrial-Strength Verification Tool , 2010, CAV.
[15] Armin Biere,et al. Blocked Clause Elimination for QBF , 2011, CADE.
[16] Sanjit A. Seshia,et al. Understanding and Extending Incremental Determinization for 2QBF , 2018, CAV.
[17] Sanjit A. Seshia,et al. Combinatorial sketching for finite programs , 2006, ASPLOS XII.
[18] Jussi Rintanen,et al. Asymptotically Optimal Encodings of Conformant Planning in QBF , 2007, AAAI.
[19] Florian Lonsing,et al. DepQBF 6.0: A Search-Based QBF Solver Beyond Traditional QCDCL , 2017, CADE.
[20] Armin Biere,et al. Resolution-Based Certificate Extraction for QBF - (Tool Presentation) , 2012, SAT.
[21] Luca Pulina,et al. Minimal Module Extraction from DL-Lite Ontologies Using QBF Solvers , 2009, IJCAI.
[22] Roderick Bloem,et al. Fault Localization and Correction with QBF , 2007, SAT.