An Experimental Evaluation of Ground Decision Procedures
Abstract elided by the publisher.
Related papers
- A verified decision procedure for the first-order theory of rewriting for linear variable-separated rewrite systems CPP 2021
- Decision Procedure for Entailment of Symbolic Heaps with Arrays APLAS 2017
- TACO: A Toolsuite for the Verification of Threshold Automata CAV 2026
- Deciding memory safety for single-pass heap-manipulating programs POPL 2020
- Chain of Grounded Objectives: Concise Goal-Oriented Prompting for Code Generation ECOOP 2025
- Regex Decision Procedures in Extended RE# CAV 2025
- Programming-by-Demonstration for Long-Horizon Robot Tasks POPL 2024
- Fast Approximations of Quantifier Elimination CAV 2023