Backdoors for Linear Temporal Logic.

Arne Meier Sebastian Ordyniak Ramanujan Sridharan Irena Schindler

Published in: IPEC (2016)

Keyphrases

linear temporal logic
temporal logic
satisfiability problem
hidden structure
model checking
bounded model checking
sat solvers
sat instances
search algorithm
modal logic
high level
np complete
heuristic search
concurrent systems