Linear CNF formulas and satisfiability (Q1028433): Difference between revisions

@@ Property / author @@
-Zhao, Xishun
@@ Property / author: Zhao, Xishun / rank @@
-Normal rank
@@ Property / author @@
+Zhao, Xishun
@@ Property / author: Zhao, Xishun / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2065657706
@@ Property / OpenAlex ID: W2065657706 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4099676
@@ Property / cites work: Q4099676 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3995743
@@ Property / cites work: Q3995743 / rank @@
+Normal rank
@@ Property / cites work @@
+A fast parallel SAT-solver -- efficient workload balancing
+Normal rank
@@ Property / cites work @@
+Q3726125
@@ Property / cites work: Q3726125 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4393480
@@ Property / cites work: Q4393480 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4101818
@@ Property / cites work: Q4101818 / rank @@
+Normal rank
@@ Property / cites work @@
+A perspective on certain polynomial-time solvable classes of satisfiability
+Normal rank
@@ Property / cites work @@
+On Representatives of Subsets
@@ Property / cites work: On Representatives of Subsets / rank @@
+Normal rank
@@ Property / cites work @@
+Topics on Steiner systems. Ed. by C. C. Lindner and A. Rosa
+Normal rank
@@ Property / cites work @@
+Determining computational complexity from characteristic ‘phase transitions’
+Normal rank
@@ Property / cites work @@
+A short proof of Fisher's inequality
@@ Property / cites work: A short proof of Fisher's inequality / rank @@
+Normal rank
@@ Property / cites work @@
+A CNF Class Generalizing Exact Linear Formulas
@@ Property / cites work: A CNF Class Generalizing Exact Linear Formulas / rank @@
+Normal rank
@@ Property / cites work @@
+An extension of a theorem of the Bruijn and Erdős on combinatorial designs
+Normal rank
@@ Property / cites work @@
+Q3851094
@@ Property / cites work: Q3851094 / rank @@
+Normal rank
@@ Property / cites work @@
+A simplified NP-complete satisfiability problem
@@ Property / cites work: A simplified NP-complete satisfiability problem / rank @@
+Normal rank
@@ Property / cites work @@
+Q4002255
@@ Property / cites work: Q4002255 / rank @@
+Normal rank
@@ Property / cites work @@
+An existence theory for pairwise balanced designs. II: Structure of PBD- closed sets and the existence conjectures
+Normal rank