Understanding Counterexamples with explain.

Alex Groce Daniel Kroening Flavio Lerda

Published in: CAV (2004)

Keyphrases

artificial intelligence
computational modeling
special case
machine learning
data analysis
trade off
deeper understanding