C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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