Complexity of inverse constraint problems and a dichotomy for the inverse satisfiability problem (Q2221799): Difference between revisions

@@ Property / cites work @@
+THE CONSTRAINT SATISFACTION PROBLEM AND UNIVERSAL ALGEBRA
+Normal rank
@@ Property / cites work @@
+Q4993594
@@ Property / cites work: Q4993594 / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of Definability
@@ Property / cites work: Decidability of Definability / rank @@
+Normal rank
@@ Property / cites work @@
+Inverse NP problems
@@ Property / cites work: Inverse NP problems / rank @@
+Normal rank
@@ Property / cites work @@
+Structure identification of Boolean relations and plain bases for co-clones
+Normal rank
@@ Property / cites work @@
+Boolean Constraint Satisfaction Problems: When Does Post’s Lattice Help?
+Normal rank
@@ Property / cites work @@
+On generating all solutions of generalized satisfiability problems
+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 @@
+Constructing NP-intermediate problems by blowing holes with parameters of various properties
+Normal rank
@@ Property / cites work @@
+Strong partial clones and the time complexity of SAT problems
+Normal rank
@@ Property / cites work @@
+The Inverse Satisfiability Problem
@@ Property / cites work: The Inverse Satisfiability Problem / 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 @@
+Weak bases of Boolean co-clones
@@ Property / cites work: Weak bases of Boolean co-clones / rank @@
+Normal rank
@@ Property / cites work @@
+The power of primitive positive definitions with polynomially many variables
+Normal rank
@@ Property / cites work @@
+Function Algebras on Finite Sets
@@ Property / cites work: Function Algebras on Finite Sets / rank @@
+Normal rank
@@ Property / cites work @@
+The Two-Valued Iterative Systems of Mathematical Logic. (AM-5)
+Normal rank
@@ Property / cites work @@
+The algebras of partial functions and their invariants
+Normal rank
@@ Property / cites work @@
+Q3739182
@@ Property / cites work: Q3739182 / 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 @@
+Partial Polymorphisms and Constraint Satisfaction Problems
+Normal rank