%0 Journal Article %1 MahmoodM22 %A Mahmood, Yasir %A Meier, Arne %D 2022 %J Ann. Math. Artif. Intell. %K dice mahmood %N 2-3 %P 271--296 %R 10.1007/s10472-021-09730-w %T Parameterised complexity of model checking and satisfiability in propositional dependence logic %U https://doi.org/10.1007/s10472-021-09730-w %V 90

@article{MahmoodM22, added-at = {2023-04-25T12:57:47.000+0200}, author = {Mahmood, Yasir and Meier, Arne}, bdsk-url-1 = {https://doi.org/10.1007/s10472-021-09730-w}, bibsource = {dblp computer science bibliography, https://dblp.org}, biburl = {https://www.bibsonomy.org/bibtex/230bd7260c5635dca94f3842cc9fcb768/dice-research}, doi = {10.1007/s10472-021-09730-w}, interhash = {e7f42039a4fa0374de29cbaa99cb977d}, intrahash = {30bd7260c5635dca94f3842cc9fcb768}, journal = {Ann. Math. Artif. Intell.}, keywords = {dice mahmood}, number = {2-3}, pages = {271--296}, timestamp = {2023-04-25T16:34:10.000+0200}, title = {Parameterised complexity of model checking and satisfiability in propositional dependence logic}, url = {https://doi.org/10.1007/s10472-021-09730-w}, volume = 90, year = 2022 }