Bases for Boolean co-clones (Q1044708): Difference between revisions

@@ 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.ipl.2005.06.003
+Normal rank
@@ Property / OpenAlex ID @@
+W2035877205
@@ Property / OpenAlex ID: W2035877205 / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of satisfiability problems: Refining Schaefer's theorem
+Normal rank
@@ Property / cites work @@
+Complexity Classifications of Boolean Constraint Satisfaction Problems
+Normal rank
@@ Property / cites work @@
+Q5588600
@@ Property / cites work: Q5588600 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4354427
@@ Property / cites work: Q4354427 / 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