Backdoors for Linear Temporal Logic. Meier, A., Ordyniak, S., Sridharan, R., & Schindler, I. In Guo, J. & Hermelin, D., editors, 11th International Symposium on Parameterized and Exact Computation (IPEC 2016), volume 63, of Leibniz International Proceedings in Informatics (LIPIcs), pages 23:1--23:17, Dagstuhl, Germany, 2016. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik.
Paper doi bibtex @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}
}