Tests and Refutation.

Mohammad Torabi Dashti David A. Basin

Published in: ATVA (2017)

Keyphrases

theorem proving
artificial intelligence
neural network
real time
computer vision
decision trees
multiresolution
logic programming
inductive inference
automated theorem proving