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. Paper doi bibtex
Downloads: 0
{"_id":"5yC2zHzTG5kcbj7Zh","bibbaseid":"meier-ordyniak-sridharan-schindler-backdoorsforlineartemporallogic-2016","downloads":0,"creationDate":"2017-10-05T10:51:21.857Z","title":"Backdoors for Linear Temporal Logic","author_short":["Meier, A.","Ordyniak, S.","Sridharan, R.","Schindler, I."],"year":2016,"bibtype":"inproceedings","biburl":"https://dblp.org/pid/38/5700.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Arne"],"propositions":[],"lastnames":["Meier"],"suffixes":[]},{"firstnames":["Sebastian"],"propositions":[],"lastnames":["Ordyniak"],"suffixes":[]},{"firstnames":["Ramanujan"],"propositions":[],"lastnames":["Sridharan"],"suffixes":[]},{"firstnames":["Irena"],"propositions":[],"lastnames":["Schindler"],"suffixes":[]}],"editor":[{"firstnames":["Jiong"],"propositions":[],"lastnames":["Guo"],"suffixes":[]},{"firstnames":["Danny"],"propositions":[],"lastnames":["Hermelin"],"suffixes":[]}],"title":"Backdoors for Linear Temporal Logic","booktitle":"11th International Symposium on Parameterized and Exact Computation, IPEC 2016, August 24-26, 2016, Aarhus, Denmark","series":"LIPIcs","volume":"63","pages":"23:1–23:17","publisher":"Schloss Dagstuhl - Leibniz-Zentrum für Informatik","year":"2016","url":"https://doi.org/10.4230/LIPIcs.IPEC.2016.23","doi":"10.4230/LIPIcs.IPEC.2016.23","timestamp":"Sun, 02 Oct 2022 01:00:00 +0200","biburl":"https://dblp.org/rec/conf/iwpec/MeierOSS16.bib","bibsource":"dblp computer science bibliography, https://dblp.org","author_short":["Meier, A.","Ordyniak, S.","Sridharan, R.","Schindler, I."],"editor_short":["Guo, J.","Hermelin, D."],"key":"DBLP:conf/iwpec/MeierOSS16","id":"DBLP:conf/iwpec/MeierOSS16","bibbaseid":"meier-ordyniak-sridharan-schindler-backdoorsforlineartemporallogic-2016","role":"author","urls":{"Paper":"https://doi.org/10.4230/LIPIcs.IPEC.2016.23"},"metadata":{"authorlinks":{}},"html":""},"search_terms":["backdoors","linear","temporal","logic","meier","ordyniak","sridharan","schindler"],"keywords":[],"authorIDs":[],"dataSources":["NMnTopwcKW96LjkcR","fBP2XTBFzsNLQjSxB"]}