Backdoors for linear temporal logic (Q1725638): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s00453-018-0515-5
+Normal rank
@@ Property / OpenAlex ID @@
+W2891208999
@@ Property / OpenAlex ID: W2891208999 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q64937504
@@ Property / Wikidata QID: Q64937504 / rank @@
+Normal rank
@@ Property / cites work @@
+A kernelization algorithm for \(d\)-hitting set
@@ Property / cites work: A kernelization algorithm for \(d\)-hitting set / rank @@
+Normal rank
@@ Property / cites work @@
+The Complexity of Clausal Fragments of LTL
@@ Property / cites work: The Complexity of Clausal Fragments of LTL / rank @@
+Normal rank
@@ Property / cites work @@
+The Complexity of Generalized Satisfiability for Linear Temporal Logic
+Normal rank
@@ Property / cites work @@
+The computational complexity of satisfiability of temporal Horn formulas in propositional linear-time temporal logic
+Normal rank
@@ Property / cites work @@
+Tight lower bounds for certain parameterized NP-hard problems
+Normal rank
@@ Property / cites work @@
+Improved upper bounds for vertex cover
@@ Property / cites work: Improved upper bounds for vertex cover / rank @@
+Normal rank
@@ Property / cites work @@
+Q3336675
@@ Property / cites work: Q3336675 / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of propositional linear temporal logics in simple cases
+Normal rank
@@ Property / cites work @@
+Tradeoffs in the Complexity of Backdoor Detection
@@ Property / cites work: Tradeoffs in the Complexity of Backdoor Detection / rank @@
+Normal rank
@@ Property / cites work @@
+Backdoors in the Context of Learning
@@ Property / cites work: Backdoors in the Context of Learning / rank @@
+Normal rank
@@ Property / cites work @@
+Fundamentals of parameterized complexity
@@ Property / cites work: Fundamentals of parameterized complexity / rank @@
+Normal rank
@@ Property / cites work @@
+Augmenting tractable fragments of abstract argumentation
+Normal rank
@@ Property / cites work @@
+Decision procedures and expressiveness in the temporal logic of branching time
+Normal rank
@@ Property / cites work @@
+A Normal Form for Temporal Logics and its Applications in Theorem-Proving and Execution
+Normal rank
@@ Property / cites work @@
+Clausal temporal resolution
@@ Property / cites work: Clausal temporal resolution / rank @@
+Normal rank
@@ Property / cites work @@
+Temporal logic. 1st International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994. Proceedings
+Normal rank
@@ Property / cites work @@
+Backdoors to Satisfaction
@@ Property / cites work: Backdoors to Satisfaction / rank @@
+Normal rank
@@ Property / cites work @@
+A New Bound for an NP-Hard Subclass of 3-SAT Using Backdoors
+Normal rank
@@ Property / cites work @@
+Q5339289
@@ Property / cites work: Q5339289 / rank @@
+Normal rank
@@ Property / cites work @@
+Backdoors to planning
@@ Property / cites work: Backdoors to planning / rank @@
+Normal rank
@@ Property / cites work @@
+Model checking of safety properties
@@ Property / cites work: Model checking of safety properties / rank @@
+Normal rank
@@ Property / cites work @@
+Past is for free: On the complexity of verifying linear temporal properties with past
+Normal rank
@@ Property / cites work @@
+Backdoors for Linear Temporal Logic
@@ Property / cites work: Backdoors for Linear Temporal Logic / rank @@
+Normal rank
@@ Property / cites work @@
+On the size of refutation Kripke models for some linear modal and tense logics
+Normal rank
@@ Property / cites work @@
+Satisfiability of acyclic and almost acyclic CNF formulas
+Normal rank
@@ Property / cites work @@
+Backdoor sets of quantified Boolean formulas
@@ Property / cites work: Backdoor sets of quantified Boolean formulas / rank @@
+Normal rank
@@ Property / cites work @@
+Theory and Applications of Satisfiability Testing
@@ Property / cites work: Theory and Applications of Satisfiability Testing / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1725638