Login / Signup

Backdoors for Linear Temporal Logic.

Arne MeierSebastian OrdyniakM. S. RamanujanIrena Schindler
Published in: Algorithmica (2019)
Keyphrases
  • linear temporal logic
  • temporal logic
  • satisfiability problem
  • hidden structure
  • model checking
  • bounded model checking
  • sat instances
  • sat solvers
  • modal logic
  • np hard
  • np complete
  • temporally extended goals