Parameterised complexity of model checking and satisfiability in propositional dependence logic

MLA

Yasir Mahmood, and Arne Meier. Parameterised Complexity of Model Checking and Satisfiability in Propositional Dependence Logic. Jan. 2021. EBSCOhost, https://doi.org/10.15488/12823.

APA

Yasir Mahmood, & Arne Meier. (2021). Parameterised complexity of model checking and satisfiability in propositional dependence logic. https://doi.org/10.15488/12823

Chicago

Yasir Mahmood, and Arne Meier. 2021. “Parameterised Complexity of Model Checking and Satisfiability in Propositional Dependence Logic,” January. doi:10.15488/12823.