Satisfiability Checking Using Boolean Expression Diagrams
No abstract available.
DOI 10.1007/3-540-45319-9_4
Related papers
- Combining Decision Diagrams and SAT Procedures for Efficient Symbolic Model Checking CAV 2000
- Weakly Acyclic Diagrams: A Data Structure for Infinite-State Symbolic Verification TACAS 2025
- Clausal Proofs for Pseudo-Boolean Reasoning TACAS 2022
- Semantic subtyping with an SMT solver JFP 2012
- Scalable error detection using boolean satisfiability POPL 2005
- ZDD Boolean Synthesis TACAS 2022
- Semantic subtyping with an SMT solver ICFP 2010
- Modal Object Diagrams ECOOP 2011