Syntax-Guided Rewrite Rule Enumeration for SMT Solvers.

Andres Ntzli, Andrew Reynolds, Haniel Barbosa, Aina Niemetz, Mathias Preiner, Clark W. Barrett, Cesare Tinelli

Browse the full SAT paper archive.