Satisfiability threshold for random XOR-CNF formulas (Q1961446): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+A linear-time algorithm for testing the truth of certain quantified Boolean formulas
+Normal rank
@@ Property / cites work @@
+Q4228436
@@ Property / cites work: Q4228436 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4769056
@@ Property / cites work: Q4769056 / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity of generalized satisfiability counting problems
+Normal rank
@@ Property / cites work @@
+Q3286850
@@ Property / cites work: Q3286850 / rank @@
+Normal rank
@@ Property / cites work @@
+Matrices over a Finite Field
@@ Property / cites work: Matrices over a Finite Field / rank @@
+Normal rank
@@ Property / cites work @@
+Analysis of Two Simple Heuristics on a Random Instance ofk-sat
+Normal rank
@@ Property / cites work @@
+Q5600562
@@ Property / cites work: Q5600562 / 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 @@
+Q3723699
@@ Property / cites work: Q3723699 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q127014902
@@ Property / Wikidata QID: Q127014902 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/s0166-218x(99)00032-3
+Normal rank
@@ Property / OpenAlex ID @@
+W1971378428
@@ Property / OpenAlex ID: W1971378428 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1961446