Efficient Certified RAT Verification.

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

Published in: CADE (2017)

Keyphrases

real time
cost effective
machine learning
image processing
multimedia
feature extraction
data structure
search algorithm
lightweight
computationally efficient
model checking