Syntax-Guided Rewrite Rule Enumeration for SMT Solvers
- 29 June 2019
- book chapter
- Published by Springer Nature
- p. 279-297
Abstract
No abstract availableKeywords
This publication has 21 references indexed in Scilit:
- SWAPPER: A framework for automatic generation of formula simplifiers based on conditional rewrite rules2016
- Counterexample-Guided Quantifier Instantiation for Synthesis in SMT2015
- Optgen: A Generator for Local Optimizations2015
- Bit-Vector Rewriting with Automatic Rule GenerationLecture Notes in Computer Science, 2014
- Stochastic superoptimization2013
- Word Equations with Length Constraints: What’s Decidable?2013
- Expression Reduction from Programs in a Symbolic Binary ExecutorLecture Notes in Computer Science, 2013
- CVC42011
- Z3: An Efficient SMT Solver2008
- Automatic generation of peephole superoptimizers2006