Interpolation-Based Semantic Gate Extraction and Its Applications to QBF Preprocessing-Reference-Cited by-同舟云学术

Interpolation-Based Semantic Gate Extraction and Its Applications to QBF Preprocessing

Published:2020 Issue: Volume: Page:508-528
ISSN:0302-9743
Container-title:Computer Aided Verification
language:
Short-container-title:

Author:

Slivovsky Friedrich

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-030-53288-8_24

Reference52 articles.

1. Ansótegui, C., Gomes, C.P., Selman, B.: The Achilles’ heel of QBF. In: Veloso, M.M., Kambhampati, S. (eds.) AAAI 2005, pp. 275–281. AAAI Press/The MIT Press (2005)

2. Balabanov, V., Chiang, H.J.K., Jiang, J.R.: Henkin quantifiers and Boolean formulae: a certification perspective of DQBF. Theor. Comput. Sci. 523, 86–100 (2014)

3. Balabanov, V., Jiang, J.R.: Unified QBF certification and its applications. Formal Methods Syst. Des. 41(1), 45–65 (2012)

4. Balabanov, V., Jiang, J.R., Mishchenko, A., Scholl, C.: Clauses versus gates in CEGAR-based 2QBF solving. In: Darwiche, A. (ed.) Beyond NP, Papers from the 2016 AAAI Workshop, AAAI Workshops, vol. WS-16-05. AAAI Press (2016)

5. Lecture Notes in Computer Science;F Lonsing,2010

Cited by 11 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Certifying Phase Abstraction;Lecture Notes in Computer Science;2024

2. Tractable representations for Boolean functional synthesis;Annals of Mathematics and Artificial Intelligence;2023-12-05

3. Synthesis with Explicit Dependencies;2023 Design, Automation & Test in Europe Conference & Exhibition (DATE);2023-04

4. Arjun;Proceedings of the 41st IEEE/ACM International Conference on Computer-Aided Design;2022-10-30

5. Mining definitions in Kissat with Kittens;Formal Methods in System Design;2022-06