Extracting Unsatisfiable Cores for LTL via Temporal Resolution

Viktor Schuppan

Published in: CoRR (2012)

Keyphrases

temporal resolution
temporal logic
unsatisfiable cores
spatial resolution
model checking
max sat
satisfiability problem
frame rate
hidden structure
image sequences
bit rate
image reconstruction
high resolution
space time
orders of magnitude
motion compensation
super resolution
sat solvers