Equivalence Checking Using Trace Partitioning.

Rajdeep Mukherjee Daniel Kroening Tom Melham Mandayam K. Srivas

Published in: ISVLSI (2015)

Keyphrases

data sets
neural network
real time
machine learning
artificial intelligence
social networks
computer vision
special case
decision problems
partitioning algorithm
interactive dynamic influence diagrams