A Gröbner Basis Approach to CNF-Formulae Preprocessing
No abstract available.
Related papers
- Extracting Linear Relations from Gröbner Bases for Formal Verification of And-Inverter Graphs TACAS 2025
- Split Gröbner Bases for Satisfiability Modulo Finite Fields CAV 2024
- Formula Preprocessing in MUS Extraction TACAS 2013
- AMulet 2.0 for Verifying Multiplier Circuits TACAS 2021
- ZDD Boolean Synthesis TACAS 2022
- Tinted, Detached, and Lazy CNF-XOR Solving and Its Applications to Counting and Sampling CAV 2020
- Interpolation-Based Semantic Gate Extraction and Its Applications to QBF Preprocessing CAV 2020
- Formally Certified Approximate Model Counting CAV 2024