Efficient Certified RAT Verification.

Luís Cruz-Filipe Marijn Heule Warren A. Hunt Jr.Matt Kaufmann Peter Schneider-Kamp

Published in: CoRR (2016)

Keyphrases

databases
artificial intelligence
computer vision
wide range
neural network
information systems
clustering algorithm
learning environment
lightweight
cost effective
model checking