Complete and Efficient DRAT Proof Checking.

Adrian Rebola-Pardo Luís Cruz-Filipe

Published in: FMCAD (2018)

Keyphrases

neural network
cost effective
real time
databases
artificial intelligence
computer vision
three dimensional
information technology
special case