Computing Interpolants without Proofs.

Hana Chockler Alexander Ivrii Arie Matsliah

Published in: Haifa Verification Conference (2012)

Keyphrases

theorem proving
data mining
neural network
real time
learning algorithm
computer vision
digital libraries