Beyond DRAT: Challenges in Certifying UNSAT.

Bertram Felgenhauer

Published in: ARCADE@CADE (2017)

Keyphrases

lessons learned
key issues
real time
sat solvers
case study
trade off
open issues
databases
information retrieval
artificial intelligence
metadata
image processing
data analysis
multiresolution