The phase transition in random horn satisfiability and its algorithmic implications (Q4543632): Difference between revisions

@@ Property / author @@
-Gabriel I. Istrate
@@ Property / author: Gabriel I. Istrate / rank @@
-Normal rank
@@ Property / author @@
+Gabriel I. Istrate
@@ Property / author: Gabriel I. Istrate / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2031284352
@@ Property / OpenAlex ID: W2031284352 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+cs/9912001
@@ Property / arXiv ID: cs/9912001 / rank @@
+Normal rank
@@ Property / cites work @@
+Extended Horn sets in propositional logic
@@ Property / cites work: Extended Horn sets in propositional logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4012216
@@ Property / cites work: Q4012216 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4228436
@@ Property / cites work: Q4228436 / rank @@
+Normal rank
@@ Property / cites work @@
+Analysis of Two Simple Heuristics on a Random Instance ofk-sat
+Normal rank
@@ Property / cites work @@
+A threshold for unsatisfiability
@@ Property / cites work: A threshold for unsatisfiability / rank @@
+Normal rank
@@ Property / cites work @@
+Unit Refutations and Horn Sets
@@ Property / cites work: Unit Refutations and Horn Sets / rank @@
+Normal rank
@@ Property / cites work @@
+Q4252413
@@ Property / cites work: Q4252413 / rank @@
+Normal rank
@@ Property / cites work @@
+Critical Behavior in the Satisfiability of Random Boolean Expressions
+Normal rank
@@ Property / cites work @@
+Limit distribution for the existence of Hamiltonian cycles in a random graph
+Normal rank
@@ Property / cites work @@
+Q4863617
@@ Property / cites work: Q4863617 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4237477
@@ Property / cites work: Q4237477 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4704799
@@ Property / cites work: Q4704799 / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about temporal relations
@@ Property / cites work: Reasoning about temporal relations / rank @@
+Normal rank
@@ Property / cites work @@
+Q4298260
@@ Property / cites work: Q4298260 / 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 @@
+On finding solutions for extended Horn formulas
@@ Property / cites work: On finding solutions for extended Horn formulas / rank @@
+Normal rank
@@ Property / cites work @@
+Q4866081
@@ Property / cites work: Q4866081 / rank @@
+Normal rank