Login / Signup
Efficient generation of craig interpolants in satisfiability modulo theories.
Alessandro Cimatti
Alberto Griggio
Roberto Sebastiani
Published in:
ACM Trans. Comput. Log. (2010)
Keyphrases
</>
objective function
metaheuristic