Optimal satisfiability for propositional calculi and constraint satisfaction problems. (Q1426002): Difference between revisions

@@ Property / cites work @@
+Complexity of generalized satisfiability counting problems
+Normal rank
@@ Property / cites work @@
+On generating all solutions of generalized satisfiability problems
+Normal rank
@@ Property / cites work @@
+Complexity Classifications of Boolean Constraint Satisfaction Problems
+Normal rank
@@ Property / cites work @@
+A dichotomy theorem for maximum generalized satisfiability problems.
+Normal rank
@@ Property / cites work @@
+Q5588600
@@ Property / cites work: Q5588600 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2762521
@@ Property / cites work: Q2762521 / rank @@
+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 @@
+Q4526965
@@ Property / cites work: Q4526965 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Structure of Polynomial Time Reducibility
@@ Property / cites work: On the Structure of Polynomial Time Reducibility / rank @@
+Normal rank
@@ Property / cites work @@
+Satisfiability problems for propositional calculi
@@ Property / cites work: Satisfiability problems for propositional calculi / rank @@
+Normal rank
@@ Property / cites work @@
+Q3221403
@@ Property / cites work: Q3221403 / 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 @@
+Q4942628
@@ Property / cites work: Q4942628 / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity classes of optimization functions
@@ Property / cites work: Complexity classes of optimization functions / rank @@
+Normal rank
@@ Property / cites work @@
+More complicated questions about maxima and minima, and some closures of NP
+Normal rank