%0 Conference Paper %1 MahmoodM20 %A Mahmood, Yasir %A Meier, Arne %B International Symposium on Foundations of Information and Knowledge Systems %D 2020 %K dice mahmood %P 157--174 %T Parameterised complexity of model checking and satisfiability in propositional dependence logic

@inproceedings{MahmoodM20, added-at = {2024-01-23T11:42:10.000+0100}, author = {Mahmood, Yasir and Meier, Arne}, biburl = {https://www.bibsonomy.org/bibtex/2663c5becd6448ada55bb84074ecc1b88/dice-research}, booktitle = {International Symposium on Foundations of Information and Knowledge Systems}, interhash = {39af4cbbd4602b3547f7aa1b60920737}, intrahash = {663c5becd6448ada55bb84074ecc1b88}, keywords = {dice mahmood}, organization = {Springer}, pages = {157--174}, timestamp = {2024-01-23T11:42:10.000+0100}, title = {Parameterised complexity of model checking and satisfiability in propositional dependence logic}, year = 2020 }