Login / Signup
Efficient Generation of Craig Interpolants in Satisfiability Modulo Theories
Alessandro Cimatti
Alberto Griggio
Roberto Sebastiani
Published in:
CoRR (2009)
Keyphrases
</>
genetic algorithm
knowledge base
object oriented