Minimal Sets over Monotone Predicates in Boolean Formulae
No abstract available.
Related papers
- A Simplifier Based on Efficient Decision Algorithms POPL 1978
- LTLf Learning Meets Boolean Set Cover TACAS 2026
- Learning Union of Integer Hypercubes with Queries - (with Applications to Monadic Decomposition) CAV 2021
- Monadic second-order logic on finite sequences POPL 2017
- From SMT to ASP: Solver-Based Approaches to Solving Datalog Synthesis-as-Rule-Selection Problems POPL 2023
- Range Allocation for Separation Logic CAV 2004
- Deciding Boolean Separation Logic via Small Models TACAS 2024
- Dynamic Programming for Symbolic Boolean Realizability and Synthesis CAV 2024