Backdoors for Linear Temporal Logic

Meier, Arne; Ordyniak, Sebastian; Sridharan, Ramanujan; Schindler, Irena

doi:http://dx.doi.org/10.4230/LIPIcs.IPEC.2016.23

by Arne Meier, Sebastian Ordyniak, Ramanujan Sridharan, Irena Schindler

Reference:

Backdoors for Linear Temporal LogicArne Meier, Sebastian Ordyniak, Ramanujan Sridharan, Irena Schindler11th International Symposium on Parameterized and Exact Computation (IPEC 2016) (Jiong Guo, Danny Hermelin, eds.), volume 63 of Leibniz International Proceedings in Informatics (LIPIcs), pages 23:1–23:17, 2016, Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik.

Bibtex Entry:

@inproceedings{MeierOrdyniakRamanujanSchindler16,
  author ={Arne Meier and Sebastian Ordyniak and Ramanujan Sridharan and Irena Schindler},
  title ={{Backdoors for Linear Temporal Logic}},
  booktitle ={11th International Symposium on Parameterized and Exact
                  Computation (IPEC 2016)},
  pages ={23:1--23:17},
  series ={Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN ={978-3-95977-023-1},
  ISSN ={1868-8969},
  year ={2016},
  volume ={63},
  keywords={xtract},
  editor ={Jiong Guo and Danny Hermelin},
  publisher ={Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address ={Dagstuhl, Germany},
  URL ={http://drops.dagstuhl.de/opus/volltexte/2017/6946},
  URN ={urn:nbn:de:0030-drops-69462},
  doi ={http://dx.doi.org/10.4230/LIPIcs.IPEC.2016.23},
  annote ={Keywords: Linear Temporal Logic, Parameterized Complexity, Backdoor Sets}
}