Zobrazeno 1 - 6
of 6
pro vyhledávání: '"Schindler, Irena"'
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
In the present paper we introduce the notion of strong backdoors into the field of temporal logic for the CNF-fragment of linear temporal logic introduced by Fisher. We study the parameterised complexity of the satisfiability problem parameterised by
Externí odkaz:
http://arxiv.org/abs/1602.04934
Autor:
Schindler, Irena
Parameterized complexity is a branch of a computational complexity. The pioneers of this new and promising research field are Downey and Fellows. They suggest to examine the structural properties of a given problem and restrict the instance by a para
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c492e143b1eaccb65708e4b349a6679c
https://www.repo.uni-hannover.de:443/handle/123456789/3602
https://www.repo.uni-hannover.de:443/handle/123456789/3602
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
ACM Transactions on Computational Logic; Jan2017, Vol. 18 Issue 1, p1-32, 32p
