Backdoors to tractable answer set programming (Q2341833): Difference between revisions

@@ Property / describes a project that uses @@
+Gringo
@@ Property / describes a project that uses: Gringo / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CPLEX
@@ Property / describes a project that uses: CPLEX / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+clasp
@@ Property / describes a project that uses: clasp / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Clingo
@@ Property / describes a project that uses: Clingo / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+iClingo
@@ Property / describes a project that uses: iClingo / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SageMath
@@ Property / describes a project that uses: SageMath / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+NuMVC
@@ Property / describes a project that uses: NuMVC / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Python
@@ Property / describes a project that uses: Python / rank @@
+Normal rank
@@ 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.1016/j.artint.2014.12.001
+Normal rank
@@ Property / OpenAlex ID @@
+W2180068027
@@ Property / OpenAlex ID: W2180068027 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5398060
@@ Property / cites work: Q5398060 / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional semantics for disjunctive logic programs
+Normal rank
@@ Property / cites work @@
+Q4386925
@@ Property / cites work: Q4386925 / rank @@
+Normal rank
@@ Property / cites work @@
+Negation by default and unstratifiable logic programs
+Normal rank
@@ Property / cites work @@
+On problems without polynomial kernels
@@ Property / cites work: On problems without polynomial kernels / rank @@
+Normal rank
@@ Property / cites work @@
+Q4291429
@@ Property / cites work: Q4291429 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4699283
@@ Property / cites work: Q4699283 / rank @@
+Normal rank
@@ Property / cites work @@
+SOFSEM 2005: Theory and Practice of Computer Science
+Normal rank
@@ Property / cites work @@
+Q5422499
@@ Property / cites work: Q5422499 / rank @@
+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 @@
+Characterizations of the disjunctive well-founded semantics: Confluent calculi and iterated GCWA
+Normal rank
@@ Property / cites work @@
+The complexity of propositional closed world reasoning and circumscription
+Normal rank
@@ Property / cites work @@
+NuMVC: An Efficient Local Search Algorithm for Minimum Vertex Cover
+Normal rank
@@ Property / cites work @@
+Local search with edge weighting and configuration checking heuristics for minimum vertex cover
+Normal rank
@@ Property / cites work @@
+Horn clause queries and generalizations
@@ Property / cites work: Horn clause queries and generalizations / rank @@
+Normal rank
@@ Property / cites work @@
+A fixed-parameter algorithm for the directed feedback vertex set problem
+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 @@
+Directed Subset Feedback Vertex Set Is Fixed-Parameter Tractable
+Normal rank
@@ Property / cites work @@
+Q3323698
@@ Property / cites work: Q3323698 / rank @@
+Normal rank
@@ Property / cites work @@
+A hybrid branch-and-bound approach for exact rational mixed-integer programming
+Normal rank
@@ Property / cites work @@
+Subset Feedback Vertex Set Is Fixed-Parameter Tractable
+Normal rank
@@ Property / cites work @@
+Q4947393
@@ Property / cites work: Q4947393 / 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 @@
+Linear-time algorithms for testing the satisfiability of propositional horn formulae
+Normal rank
@@ Property / cites work @@
+Q4503944
@@ Property / cites work: Q4503944 / rank @@
+Normal rank
@@ Property / cites work @@
+Fundamentals of parameterized complexity
@@ Property / cites work: Fundamentals of parameterized complexity / rank @@
+Normal rank
@@ Property / cites work @@
+Q4263467
@@ Property / cites work: Q4263467 / rank @@
+Normal rank
@@ Property / cites work @@
+Computational properties of argument systems satisfying graph-theoretic constraints
+Normal rank
@@ Property / cites work @@
+Augmenting tractable fragments of abstract argumentation
+Normal rank
@@ Property / cites work @@
+On the computational cost of disjunctive logic programming: Propositional case
+Normal rank
@@ Property / cites work @@
+Logic Programming and Nonmonotonic Reasoning
@@ Property / cites work: Logic Programming and Nonmonotonic Reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Tight logic programs
@@ Property / cites work: Tight logic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Backdoors to Normality for Disjunctive Logic Programs
+Normal rank
@@ Property / cites work @@
+The Good, the Bad, and the Odd: Cycles in Answer-Set Programs
+Normal rank
@@ Property / cites work @@
+Parametrized complexity theory.
@@ Property / cites work: Parametrized complexity theory. / rank @@
+Normal rank
@@ Property / cites work @@
+Infeasibility of instance compression and succinct PCPs for NP
+Normal rank
@@ Property / cites work @@
+The directed subgraph homeomorphism problem
@@ Property / cites work: The directed subgraph homeomorphism problem / rank @@
+Normal rank
@@ Property / cites work @@
+Backdoors to Acyclic SAT
@@ Property / cites work: Backdoors to Acyclic SAT / rank @@
+Normal rank
@@ Property / cites work @@
+Backdoors to Satisfaction
@@ Property / cites work: Backdoors to Satisfaction / 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 @@
+Guarantees and limits of preprocessing in constraint satisfaction and reasoning
+Normal rank
@@ Property / cites work @@
+Q2957872
@@ Property / cites work: Q2957872 / rank @@
+Normal rank
@@ Property / cites work @@
+Detecting inconsistencies in large biological networks with answer set programming
+Normal rank
@@ Property / cites work @@
+Q2909134
@@ Property / cites work: Q2909134 / rank @@
+Normal rank
@@ Property / cites work @@
+Complex optimization in answer set programming
@@ Property / cites work: Complex optimization in answer set programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q3011296
@@ Property / cites work: Q3011296 / rank @@
+Normal rank
@@ Property / cites work @@
+Conflict-driven answer set solving: from theory to practice
+Normal rank
@@ Property / cites work @@
+Q5282991
@@ Property / cites work: Q5282991 / rank @@
+Normal rank
@@ Property / cites work @@
+Negation as failure using tight derivations for general logic programs
+Normal rank
@@ Property / cites work @@
+Q3983043
@@ Property / cites work: Q3983043 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4708926
@@ Property / cites work: Q4708926 / rank @@
+Normal rank
@@ Property / cites work @@
+Answer set programming based on propositional satisfiability
+Normal rank
@@ Property / cites work @@
+Hypergraphs in Model Checking: Acyclicity and Hypertree-Width versus Clique-Width
+Normal rank
@@ Property / cites work @@
+Fixed-parameter complexity in AI and nonmonotonic reasoning
+Normal rank
@@ Property / cites work @@
+Bounded treewidth as a key to tractability of knowledge representation and reasoning
+Normal rank
@@ Property / cites work @@
+Compact Translations of Non-disjunctive Answer Set Programs to Propositional Clauses
+Normal rank
@@ Property / cites work @@
+Unfolding partiality and disjunctions in stable model semantics
+Normal rank
@@ Property / cites work @@
+Computing Stable Models via Reductions to Difference Logic
+Normal rank
@@ Property / cites work @@
+Abstraction-Based Algorithm for 2QBF
@@ Property / cites work: Abstraction-Based Algorithm for 2QBF / rank @@
+Normal rank
@@ Property / cites work @@
+Limitations of restricted branching in clause learning
+Normal rank
@@ Property / cites work @@
+The effect of structural branching on the efficiency of clause learning SAT solving: An experimental study
+Normal rank
@@ Property / cites work @@
+Q5743513
@@ Property / cites work: Q5743513 / rank @@
+Normal rank
@@ Property / cites work @@
+Transforming normal logic programs to constraint logic programs
+Normal rank
@@ Property / cites work @@
+Empirical Study of the Anatomy of Modern Sat Solvers
+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 @@
+A New Bound for an NP-Hard Subclass of 3-SAT Using Backdoors
+Normal rank
@@ Property / cites work @@
+The even-path problem for graphs and digraphs
@@ Property / cites work: The even-path problem for graphs and digraphs / rank @@
+Normal rank
@@ Property / cites work @@
+Logic Programming
@@ Property / cites work: Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Disjunctive stable models: Unfounded sets, fixpoint semantics, and computation
+Normal rank
@@ Property / cites work @@
+The DLV system for knowledge representation and reasoning
+Normal rank
@@ Property / cites work @@
+Logic programming and nonmonotonic reasoning. 8th international conference, LPNMR 2005, Diamante, Italy, September 5--8, 2005. Proceedings.
+Normal rank
@@ Property / cites work @@
+ASSAT: computing answer sets of a logic program by SAT solvers
+Normal rank
@@ Property / cites work @@
+Autoepistemic logic
@@ Property / cites work: Autoepistemic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4702577
@@ Property / cites work: Q4702577 / rank @@
+Normal rank
@@ Property / cites work @@
+Parameterized Algorithms for Even Cycle Transversal
+Normal rank
@@ Property / cites work @@
+On the complexity of feedback set problems in signed digraphs
+Normal rank
@@ Property / cites work @@
+Q5398063
@@ Property / cites work: Q5398063 / rank @@
+Normal rank
@@ Property / cites work @@
+A Dynamic-Programming Based ASP-Solver
@@ Property / cites work: A Dynamic-Programming Based ASP-Solver / rank @@
+Normal rank
@@ Property / cites work @@
+Q5710169
@@ Property / cites work: Q5710169 / rank @@
+Normal rank
@@ Property / cites work @@
+On the impact of stratification on the complexity of nonmonotonic reasoning
+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 @@
+Belief Revision with Bounded Treewidth
@@ Property / cites work: Belief Revision with Bounded Treewidth / rank @@
+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 @@
+Team-building with answer set programming in the Gioia-Tauro seaport
+Normal rank
@@ Property / cites work @@
+Graph minors. III. Planar tree-width
@@ Property / cites work: Graph minors. III. Planar tree-width / rank @@
+Normal rank
@@ Property / cites work @@
+Q3684139
@@ Property / cites work: Q3684139 / rank @@
+Normal rank
@@ Property / cites work @@
+Graph minors. II. Algorithmic aspects of tree-width
+Normal rank
@@ Property / cites work @@
+Permanents, Pfaffian orientations, and even directed circuits
+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 @@
+On self-transformable combinatorial problems
@@ Property / cites work: On self-transformable combinatorial problems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4221106
@@ Property / cites work: Q4221106 / rank @@
+Normal rank
@@ Property / cites work @@
+Extending and implementing the stable model semantics
+Normal rank
@@ Property / cites work @@
+Towards an Optimal CNF Encoding of Boolean Cardinality Constraints
+Normal rank
@@ Property / cites work @@
+Q2754108
@@ Property / cites work: Q2754108 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3181640
@@ Property / cites work: Q3181640 / rank @@
+Normal rank
@@ Property / cites work @@
+Answer Set Programming for Single-Player Games in General Game Playing
+Normal rank
@@ Property / cites work @@
+Q4633817
@@ Property / cites work: Q4633817 / rank @@
+Normal rank
@@ Property / cites work @@
+Trichotomy and dichotomy results on the complexity of reasoning with disjunctive logic programs
+Normal rank
@@ Property / cites work @@
+The Semantics of Predicate Logic as a Programming Language
+Normal rank
@@ Property / cites work @@
+Q3793731
@@ Property / cites work: Q3793731 / rank @@
+Normal rank
@@ Property / cites work @@
+Some consequences of non-uniform conditions on uniform classes
+Normal rank
@@ Property / cites work @@
+Logic Programming
@@ Property / cites work: Logic Programming / rank @@
+Normal rank