Parameterised complexity of model checking and satisfiability in propositional dependence logic (Q5918486): Difference between revisions

@@ Property / DOI @@
-.1007/s10472-021-09730-w
@@ Property / DOI: 10.1007/s10472-021-09730-w / rank @@
-Normal rank
@@ Property / OpenAlex ID @@
+W4241215655
@@ Property / OpenAlex ID: W4241215655 / rank @@
+Normal rank
@@ Property / cites work @@
+Dependence Logic
@@ Property / cites work: Dependence Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity of Finding Embeddings in a <i>k</i>-Tree
+Normal rank
@@ Property / cites work @@
+On the Structure of Armstrong Relations for Functional Dependencies
+Normal rank
@@ Property / cites work @@
+Q4634389
@@ Property / cites work: Q4634389 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4291429
@@ Property / cites work: Q4291429 / rank @@
+Normal rank
@@ Property / cites work @@
+A Trichotomy in the Complexity of Counting Answers to Conjunctive Queries
+Normal rank
@@ Property / cites work @@
+Q5144631
@@ Property / cites work: Q5144631 / rank @@
+Normal rank
@@ Property / cites work @@
+The Fine Classification of Conjunctive Queries and Parameterized Logarithmic Space
+Normal rank
@@ Property / cites work @@
+Towards a Logic of Information Exchange
@@ Property / cites work: Towards a Logic of Information Exchange / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of theorem-proving procedures
@@ Property / cites work: The complexity of theorem-proving procedures / rank @@
+Normal rank
@@ Property / cites work @@
+Parameterized Algorithms
@@ Property / cites work: Parameterized Algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Fundamentals of parameterized complexity
@@ Property / cites work: Fundamentals of parameterized complexity / rank @@
+Normal rank
@@ Property / cites work @@
+Approximation and dependence via multiteam semantics
+Normal rank
@@ Property / cites work @@
+Probabilistic team semantics
@@ Property / cites work: Probabilistic team semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Structural tractability of counting of solutions to conjunctive queries
+Normal rank
@@ Property / cites work @@
+Augmenting tractable fragments of abstract argumentation
+Normal rank
@@ Property / cites work @@
+Complexity of Model Checking for Modal Dependence Logic
+Normal rank
@@ Property / cites work @@
+Armstrong databases for functional and inclusion dependencies
+Normal rank
@@ Property / cites work @@
+Strong Backdoors for Default Logic
@@ Property / cites work: Strong Backdoors for Default Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Backdoors to Normality for Disjunctive Logic Programs
+Normal rank
@@ Property / cites work @@
+Backdoors to tractable answer set programming
@@ Property / cites work: Backdoors to tractable answer set programming / rank @@
+Normal rank
@@ Property / cites work @@
+Parametrized complexity theory.
@@ Property / cites work: Parametrized complexity theory. / rank @@
+Normal rank
@@ Property / cites work @@
+Inclusion and exclusion dependencies in team semantics -- on some logics of imperfect information
+Normal rank
@@ Property / cites work @@
+Backdoors into heterogeneous classes of SAT and CSP
+Normal rank
@@ Property / cites work @@
+Model-checking games for logics of imperfect information
+Normal rank
@@ Property / cites work @@
+When is the evaluation of conjunctive queries tractable?
+Normal rank
@@ Property / cites work @@
+Polyteam semantics
@@ Property / cites work: Polyteam semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity of Propositional Logics in Team Semantic
+Normal rank
@@ Property / cites work @@
+Model checking and validity in propositional and modal inclusion logics
+Normal rank
@@ Property / cites work @@
+Modal independence logic:
@@ Property / cites work: Modal independence logic: / rank @@
+Normal rank
@@ Property / cites work @@
+Team semantics for the specification and verification of hyperproperties
+Normal rank
@@ Property / cites work @@
+Backdoors to planning
@@ Property / cites work: Backdoors to planning / rank @@
+Normal rank
@@ Property / cites work @@
+Q4071737
@@ Property / cites work: Q4071737 / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity results for modal dependence logic
@@ Property / cites work: Complexity results for modal dependence logic / rank @@
+Normal rank
@@ Property / cites work @@
+Parametrised Complexity of Satisfiability in Temporal Logic
+Normal rank
@@ Property / cites work @@
+Parameterised complexity of model checking and satisfiability in propositional dependence logic
+Normal rank
@@ Property / cites work @@
+Backdoors for Linear Temporal Logic
@@ Property / cites work: Backdoors for Linear Temporal Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Enumeration complexity of poor man's propositional dependence logic
+Normal rank
@@ Property / cites work @@
+Q4354427
@@ Property / cites work: Q4354427 / rank @@
+Normal rank
@@ Property / cites work @@
+Graph minors. V. Excluding a planar graph
@@ Property / cites work: Graph minors. V. Excluding a planar graph / rank @@
+Normal rank
@@ Property / cites work @@
+Q5503674
@@ Property / cites work: Q5503674 / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithms for propositional model counting
@@ Property / cites work: Algorithms for propositional model counting / rank @@
+Normal rank
@@ Property / cites work @@
+Q3446107
@@ Property / cites work: Q3446107 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4599513
@@ Property / cites work: Q4599513 / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity of validity for propositional dependence logics
+Normal rank
@@ Property / cites work @@
+Propositional logics of dependence
@@ Property / cites work: Propositional logics of dependence / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S10472-021-09730-W
@@ Property / DOI: 10.1007/S10472-021-09730-W / rank @@
+Normal rank