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

@@ Property / DOI @@
-.1016/j.ipl.2005.06.003
@@ Property / DOI: 10.1016/j.ipl.2005.06.003 / rank @@
-Normal rank
@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / 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
@@ Property / DOI @@
+.1016/J.IPL.2005.06.003
@@ Property / DOI: 10.1016/J.IPL.2005.06.003 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1044708