Saturation: An Efficient Iteration Strategy for Symbolic State-Space Generation
Abstract elided by the publisher.
Related papers
- Equality Saturation for Quantum Circuit Optimization PLDI 2026
- Multi-core On-The-Fly Saturation TACAS 2019
- Validating SMT Rewriters via Rewrite Space Exploration Supported by Generative Equality Saturation OOPSLA 2025
- Towards Efficient Compiler Auto-tuning: Leveraging Synergistic Search Spaces CGO 2025
- Parallel and Customizable Equality Saturation CC 2026
- EmergenTheta: Variations on Symbolic Transition Systems (Competition Contribution) TACAS 2025
- Efficient state merging in symbolic execution PLDI 2012
- Parameterized tiled loops for free PLDI 2007