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, August 24-26, 2016, Aarhus, Denmark, volume 63, of LIPIcs, pages 23:1–23:17, 2016. Schloss Dagstuhl - Leibniz-Zentrum für Informatik.
Backdoors for Linear Temporal Logic [link]Paper  doi  bibtex   

Downloads: 0