Combining Relational Learning with SMT Solvers Using CEGAR
Abstract elided by the publisher.
Related papers
- Theta: portfolio of CEGAR-based analyses with dynamic algorithm selection (Competition Contribution) TACAS 2022
- A data-driven CHC solver PLDI 2018
- Satisfiability modulo fuzzing: a synergistic combination of SMT solving and fuzzing OOPSLA 2022
- MachSMT: A Machine Learning-based Algorithm Selector for SMT Solvers TACAS 2021
- Symbolic Automatic Relations and Their Applications to SMT and CHC Solving SAS 2021
- Expressiveness + Automation + Soundness: Towards Combining SMT Solvers and Interactive Proof Assistants TACAS 2006
- Scalable Bit-Blasting with Abstractions CAV 2024
- Compiling Higher-Order Specifications to SMT Solvers: How to Deal with Rejection Constructively CPP 2023