Sign in
Efficient Interpolant Generation in Satisfiability Modulo Theories.
Alessandro Cimatti
Alberto Griggio
Roberto Sebastiani
Published in:
TACAS (2008)
Keyphrases
</>
evolutionary algorithm