Yasir Mahmood 0002, Arne Meier. Parameterised Complexity of Model Checking and Satisfiability in Propositional Dependence Logic. In Andreas Herzig, Juha Kontinen, editors, Foundations of Information and Knowledge Systems - 11th International Symposium, FoIKS 2020, Dortmund, Germany, February 17-21, 2020, Proceedings. Volume 12012 of Lecture Notes in Computer Science, pages 157-174, Springer, 2020. [doi]
Abstract is missing.