{"_id":"zECeq9cRTqyF8iS3b","bibbaseid":"meier-ordyniak-ramanujan-schindler-strongbackdoorsforlineartemporallogic-2016","downloads":0,"creationDate":"2017-10-05T10:55:41.402Z","title":"Strong Backdoors for Linear Temporal Logic","author_short":["Meier, A.","Ordyniak, S.","Ramanujan, M. S.","Schindler, I."],"year":2016,"bibtype":"article","biburl":"https://dblp.org/pid/38/5700.bib","bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Arne"],"propositions":[],"lastnames":["Meier"],"suffixes":[]},{"firstnames":["Sebastian"],"propositions":[],"lastnames":["Ordyniak"],"suffixes":[]},{"firstnames":["M.","S."],"propositions":[],"lastnames":["Ramanujan"],"suffixes":[]},{"firstnames":["Irena"],"propositions":[],"lastnames":["Schindler"],"suffixes":[]}],"title":"Strong Backdoors for Linear Temporal Logic","journal":"CoRR","volume":"abs/1602.04934","year":"2016","url":"http://arxiv.org/abs/1602.04934","eprinttype":"arXiv","eprint":"1602.04934","timestamp":"Tue, 03 Nov 2020 00:00:00 +0100","biburl":"https://dblp.org/rec/journals/corr/MeierORS16.bib","bibsource":"dblp computer science bibliography, https://dblp.org","author_short":["Meier, A.","Ordyniak, S.","Ramanujan, M. S.","Schindler, I."],"key":"DBLP:journals/corr/MeierORS16","id":"DBLP:journals/corr/MeierORS16","bibbaseid":"meier-ordyniak-ramanujan-schindler-strongbackdoorsforlineartemporallogic-2016","role":"author","urls":{"Paper":"http://arxiv.org/abs/1602.04934"},"metadata":{"authorlinks":{}},"html":""},"search_terms":["strong","backdoors","linear","temporal","logic","meier","ordyniak","ramanujan","schindler"],"keywords":[],"authorIDs":[],"dataSources":["PcRMxrFhXmTXzZCRh","fBP2XTBFzsNLQjSxB"]}