Multi-variable Quantification of BDDs in External Memory using Nested Sweeping
Abstract elided by the publisher.
Related papers
- Adiar Binary Decision Diagrams in External Memory TACAS 2022
- Generating Extended Resolution Proofs with a BDD-Based SAT Solver TACAS 2021
- Seamless Compiler Integration of Variable Precision Floating-Point Arithmetic CGO 2021
- Binary Decision Diagrams with Edge-Specified Reductions TACAS 2019
- Transforming loops to recursion for multi-level memory hierarchies PLDI 2000
- Pipelined Execution of Critical Sections Using Software-Controlled Caching in Network Processors CGO 2007
- Leveraging parallel nesting in transactional memory PPoPP 2010
- Obtaining Memory-Efficient Reachability Graph Representations Using the Sweep-Line Method TACAS 2004