Backdoors to Satisfaction (Q2908542): Difference between revisions

@@ Property / describes a project that uses @@
+OSCAR
@@ Property / describes a project that uses: OSCAR / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1732327014
@@ Property / OpenAlex ID: W1732327014 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.6387
@@ Property / arXiv ID: 1110.6387 / 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 @@
+A linear-time algorithm for testing the truth of certain quantified Boolean formulas
+Normal rank
@@ Property / cites work @@
+Argumentation in artificial intelligence
@@ Property / cites work: Argumentation in artificial intelligence / rank @@
+Normal rank
@@ Property / cites work @@
+Q4553262
@@ Property / cites work: Q4553262 / rank @@
+Normal rank
@@ Property / cites work @@
+ON DISJOINT CYCLES
@@ Property / cites work: ON DISJOINT CYCLES / rank @@
+Normal rank
@@ Property / cites work @@
+On problems without polynomial kernels
@@ Property / cites work: On problems without polynomial kernels / rank @@
+Normal rank
@@ Property / cites work @@
+An abstract, argumentation-theoretic approach to default reasoning
+Normal rank
@@ Property / cites work @@
+Feedback Vertex Set in Mixed Graphs
@@ Property / cites work: Feedback Vertex Set in Mixed Graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Resolution for quantified Boolean formulas
@@ Property / cites work: Resolution for quantified Boolean formulas / rank @@
+Normal rank
@@ Property / cites work @@
+Fixed-parameter approximation: conceptual framework and approximability results
+Normal rank
@@ Property / cites work @@
+On probabilistic inference by weighted model counting
+Normal rank
@@ Property / cites work @@
+On approximating minimum vertex cover for graphs with perfect matching
+Normal rank
@@ Property / cites work @@
+Improved algorithms for feedback vertex set problems
+Normal rank
@@ Property / cites work @@
+Vertex Cover: Further Observations and Further Improvements
+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 @@
+A fixed-parameter algorithm for the directed feedback vertex set problem
+Normal rank
@@ Property / cites work @@
+On Parameterized Approximability
@@ Property / cites work: On Parameterized Approximability / rank @@
+Normal rank
@@ Property / cites work @@
+Q4375756
@@ Property / cites work: Q4375756 / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic and Quantitative Approaches to Reasoning with Uncertainty
+Normal rank
@@ Property / cites work @@
+On the fixed parameter complexity of graph enumeration problems definable in monadic second-order logic
+Normal rank
@@ Property / cites work @@
+Q4385531
@@ Property / cites work: Q4385531 / rank @@
+Normal rank
@@ Property / cites work @@
+Variable and term removal from Boolean formulae
@@ Property / cites work: Variable and term removal from Boolean formulae / rank @@
+Normal rank
@@ Property / cites work @@
+Subset Feedback Vertex Set Is Fixed-Parameter Tractable
+Normal rank
@@ Property / cites work @@
+A Computing Procedure for Quantification Theory
@@ Property / cites work: A Computing Procedure for Quantification Theory / rank @@
+Normal rank
@@ Property / cites work @@
+A machine program for theorem-proving
@@ Property / cites work: A machine program for theorem-proving / rank @@
+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 @@
+Graph theoretical structures in logic programs and default theories
+Normal rank
@@ Property / cites work @@
+Parameterized Approximation Problems
@@ Property / cites work: Parameterized Approximation Problems / rank @@
+Normal rank
@@ Property / cites work @@
+On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and \(n\)-person games
+Normal rank
@@ Property / cites work @@
+Computational properties of argument systems satisfying graph-theoretic constraints
+Normal rank
@@ Property / cites work @@
+Coherence in finite argument systems.
@@ Property / cites work: Coherence in finite argument systems. / rank @@
+Normal rank
@@ Property / cites work @@
+On the computational cost of disjunctive logic programming: Propositional case
+Normal rank
@@ Property / cites work @@
+On finding short resolution refutations and small unsatisfiable subsets
+Normal rank
@@ Property / cites work @@
+A top-down approach to search-trees: Improved algorithmics for 3-hitting set
+Normal rank
@@ Property / cites work @@
+The Good, the Bad, and the Odd: Cycles in Answer-Set Programs
+Normal rank
@@ Property / cites work @@
+Counting truth assignments of formulas of bounded tree-width or clique-width
+Normal rank
@@ Property / cites work @@
+Q3549693
@@ Property / cites work: Q3549693 / rank @@
+Normal rank
@@ Property / cites work @@
+Backdoors to Acyclic SAT
@@ Property / cites work: Backdoors to Acyclic SAT / rank @@
+Normal rank
@@ Property / cites work @@
+Strong Backdoors to Nested Satisfiability
@@ Property / cites work: Strong Backdoors to Nested Satisfiability / rank @@
+Normal rank
@@ Property / cites work @@
+Q3983043
@@ Property / cites work: Q3983043 / rank @@
+Normal rank
@@ Property / cites work @@
+Parameterized and Exact Computation
@@ Property / cites work: Parameterized and Exact Computation / rank @@
+Normal rank
@@ Property / cites work @@
+-SAT Faster and Simpler - Unique-SAT Bounds for PPSZ Hold in General
+Normal rank
@@ Property / cites work @@
+CNF-Satisfiability Test by Counting and Polynomial Average Time
+Normal rank
@@ Property / cites work @@
+Fixed-parameter tractability for the subset feedback set problem and the \(S\)-cycle packing problem
+Normal rank
@@ Property / cites work @@
+Nested satisfiability
@@ Property / cites work: Nested satisfiability / rank @@
+Normal rank
@@ Property / cites work @@
+Conjunctive-query containment and constraint satisfaction
+Normal rank
@@ Property / cites work @@
+Renaming a Set of Clauses as a Horn Set
@@ Property / cites work: Renaming a Set of Clauses as a Horn Set / rank @@
+Normal rank
@@ Property / cites work @@
+Parameterized complexity and local search approaches for the stable marriage problem with ties
+Normal rank
@@ Property / cites work @@
+Stable assignment with couples: parameterized complexity and local search
+Normal rank
@@ Property / cites work @@
+The Complexity of Finding Subgraphs Whose Matching Number Equals the Vertex Cover Number
+Normal rank
@@ Property / cites work @@
+Logic programs with stable model semantics as a constraint programming paradigm
+Normal rank
@@ Property / cites work @@
+Solving \#SAT using vertex covers
@@ Property / cites work: Solving \#SAT using vertex covers / rank @@
+Normal rank
@@ Property / cites work @@
+Satisfiability of Acyclic and Almost Acyclic CNF Formulas.
+Normal rank
@@ Property / cites work @@
+Augmenting tractable fragments of abstract argumentation
+Normal rank
@@ Property / cites work @@
+Q4298260
@@ Property / cites work: Q4298260 / rank @@
+Normal rank
@@ Property / cites work @@
+Properties and Complexity of Some Formal Inter-agent Dialogues
+Normal rank
@@ Property / cites work @@
+On the parameterized complexity of the fixed alphabet shortest common supersequence and longest common subsequence problems
+Normal rank
@@ Property / cites work @@
+How to reason defeasibly
@@ Property / cites work: How to reason defeasibly / rank @@
+Normal rank
@@ Property / cites work @@
+Faster fixed parameter tractable algorithms for finding feedback vertex sets
+Normal rank
@@ Property / cites work @@
+Almost 2-SAT is fixed-parameter tractable
@@ Property / cites work: Almost 2-SAT is fixed-parameter tractable / rank @@
+Normal rank
@@ Property / cites work @@
+Finding odd cycle transversals.
@@ Property / cites work: Finding odd cycle transversals. / rank @@
+Normal rank
@@ Property / cites work @@
+Q4252522
@@ Property / cites work: Q4252522 / rank @@
+Normal rank
@@ Property / cites work @@
+Permanents, Pfaffian orientations, and even directed circuits
+Normal rank
@@ Property / cites work @@
+QBF Modeling: Exploiting Player Symmetry for Simplicity and Efficiency
+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 @@
+Algorithms for propositional model counting
@@ Property / cites work: Algorithms for propositional model counting / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of satisfiability problems
@@ Property / cites work: The complexity of satisfiability problems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4131648
@@ Property / cites work: Q4131648 / rank @@
+Normal rank
@@ Property / cites work @@
+Theory and Applications of Satisfiability Testing
@@ Property / cites work: Theory and Applications of Satisfiability Testing / rank @@
+Normal rank
@@ Property / cites work @@
+Backdoor sets for DLL subsolvers
@@ Property / cites work: Backdoor sets for DLL subsolvers / rank @@
+Normal rank
@@ Property / cites work @@
+Q3181640
@@ Property / cites work: Q3181640 / rank @@
+Normal rank
@@ Property / cites work @@
+Effective use of Boolean satisfiability procedures in the formal verification of superscalar and VLIW microprocessors.
+Normal rank
@@ Property / DBLP publication ID @@
+conf/birthday/GaspersS12
@@ Property / DBLP publication ID: conf/birthday/GaspersS12 / rank @@
+Normal rank