A Decision Procedure for Sets, Binary Relations and Partial Functions
No abstract available.
Related papers
- The Activity of a Variable and Its Relation to Decision Trees TOPLAS 1980
- Decision procedures for path feasibility of string-manipulating programs with complex operations POPL 2019
- Algorithmic Program Synthesis with Partial Programs and Decision Procedures SAS 2009
- Weighted Context-Free-Language Ordered Binary Decision Diagrams OOPSLA 2024
- Decision procedures for algebraic data types with abstractions POPL 2010
- CFLOBDDs: Context-Free-Language Ordered Binary Decision Diagrams TOPLAS 2024
- Adiar Binary Decision Diagrams in External Memory TACAS 2022
- Painless programming combining reduction and search: design principles for embedding decision procedures in high-level languages ICFP 2012