BDD-Based Boolean Functional Synthesis
Abstract elided by the publisher.
Related papers
- ZDD Boolean Synthesis TACAS 2022
- Dynamic Programming for Symbolic Boolean Realizability and Synthesis CAV 2024
- Meta-BDDs: A Decomposed Representation for Layered Symbolic Manipulation of Boolean Functions CAV 2001
- SAT-Based Synthesis Methods for Safety Specs VMCAI 2014
- Polynomial Bounds of CFLOBDDs against BDDs TOPLAS 2025
- CFLOBDDs: Context-Free-Language Ordered Binary Decision Diagrams TOPLAS 2024
- Clausal Proofs for Pseudo-Boolean Reasoning TACAS 2022
- Binary Decision Diagrams with Edge-Specified Reductions TACAS 2019