Q4553280 (Q4553280): Difference between revisions

@@ Property / arXiv ID @@
+.07786
@@ Property / arXiv ID: 1711.07786 / rank @@
+Normal rank
@@ Property / cites work @@
+Bases for Boolean co-clones
@@ Property / cites work: Bases for Boolean co-clones / rank @@
+Normal rank
@@ Property / cites work @@
+Boolean Constraint Satisfaction Problems: When Does Post’s Lattice Help?
+Normal rank
@@ Property / cites work @@
+A Complete Classification of the Complexity of Propositional Abduction
+Normal rank
@@ Property / cites work @@
+On the complexity of propositional knowledge base revision, updates, and counterfactuals
+Normal rank
@@ Property / cites work @@
+The complexity of logic-based abduction
@@ Property / cites work: The complexity of logic-based abduction / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity class θp2: Recent results and applications in AI and modal logic
+Normal rank
@@ Property / cites work @@
+Q4852904
@@ Property / cites work: Q4852904 / rank @@
+Normal rank
@@ Property / cites work @@
+Closed systems of functions and predicates
@@ Property / cites work: Closed systems of functions and predicates / rank @@
+Normal rank
@@ Property / cites work @@
+Counting complexity of propositional abduction
@@ Property / cites work: Counting complexity of propositional abduction / rank @@
+Normal rank
@@ Property / cites work @@
+On the algebraic structure of combinatorial problems
+Normal rank
@@ Property / cites work @@
+The complexity of optimization problems
@@ Property / cites work: The complexity of optimization problems / rank @@
+Normal rank
@@ Property / cites work @@
+Generalizations of Opt P to the polynomial hierarchy
+Normal rank
@@ Property / cites work @@
+Belief revision and update: Complexity of model checking
+Normal rank
@@ Property / cites work @@
+A novel characterization of the complexity class \(\Theta_k^{\mathrm{P}}\) based on counting and comparison
+Normal rank
@@ Property / cites work @@
+What makes propositional abduction tractable
@@ Property / cites work: What makes propositional abduction tractable / rank @@
+Normal rank
@@ Property / cites work @@
+Q4298260
@@ Property / cites work: Q4298260 / rank @@
+Normal rank
@@ Property / cites work @@
+The Two-Valued Iterative Systems of Mathematical Logic. (AM-5)
+Normal rank
@@ Property / cites work @@
+The complexity of satisfiability problems
@@ Property / cites work: The complexity of satisfiability problems / rank @@
+Normal rank
@@ Property / cites work @@
+Partial Polymorphisms and Constraint Satisfaction Problems
+Normal rank
@@ Property / cites work @@
+Q5604434
@@ Property / cites work: Q5604434 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3795231
@@ Property / cites work: Q3795231 / rank @@
+Normal rank