Loading [MathJax]/extensions/tex2jax.js

Parameterised Complexity of Model Checking and Satisfiability in Propositional Dependence Logic

Research output: Chapter in book/report/conference proceedingConference contributionResearchpeer review

Authors

Plum Print visual indicator of research metrics
  • Citations
    • Citation Indexes: 2
  • Captures
    • Readers: 4
see details
1 - 1 out of 1Page size: 40

Publications

  1. 2022

  2. Published

    Parameterised complexity of model checking and satisfiability in propositional dependence logic

    Mahmood, Y. & Meier, A., Mar 2022, In: Annals of Mathematics and Artificial Intelligence. 90, 2-3, p. 271-296 26 p.

    Research output: Contribution to journalArticleResearchpeer review