Understanding IC3.

Aaron R. Bradley

Published in: SAT (2012)

Keyphrases

decision making
integrated circuit
database
real time
neural network
artificial intelligence
social networks
image processing
case study
multiresolution
mobile robot
mechanisms underlying