Q3B: An Efficient BDD-based SMT Solver for Quantified Bit-Vectors-Reference-Cited by-同舟云学术

Q3B: An Efficient BDD-based SMT Solver for Quantified Bit-Vectors

Published:2019 Issue: Volume: Page:64-73
ISSN:0302-9743
Container-title:Computer Aided Verification
language:
Short-container-title:

Author:

Jonáš Martin,Strejček Jan

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-030-25543-5_4

Reference25 articles.

1. Lecture Notes in Computer Science;C Barrett,2011

2. Barrett, C., Stump, A., Tinelli, C.: The SMT-LIB Standard: Version 2.6. Technical report, Department of Computer Science, The University of Iowa (2017). www.SMT-LIB.org

3. CBarrett, C., Stump, A., Tinelli, C.: The SMT-LIB standard: version 2.0. In: Gupta, A., Kroening, D. (eds.) Proceedings of the 8th International Workshop on Satisfiability Modulo Theories, Edinburgh, UK (2010)

4. Lecture Notes in Computer Science;D Beyer,2015

5. Bryant, R.E.: On the complexity of VLSI implementations and graph representations of boolean functions with application to integer multiplication. IEEE Trans. Comput. 40(2), 205–213 (1991)

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

1. Truncating abstraction of bit-vector operations for BDD-based SMT solvers;Theoretical Computer Science;2024-09

2. Algebraic Reasoning Meets Automata in Solving Linear Integer Arithmetic;Lecture Notes in Computer Science;2024

3. A BDD-Based Approach to Finite-Time Control of Boolean Networks;IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences;2023

4. On the scalability of building binary decision diagrams for current feature models;Proceedings of the 25th ACM International Systems and Software Product Line Conference - Volume A;2021-09-06

5. DQBDD: An Efficient BDD-Based DQBF Solver;Theory and Applications of Satisfiability Testing – SAT 2021;2021