A sharp threshold for the renameable-Horn and the $q$-Horn properties (Q2581546): Difference between revisions

@@ Property / author @@
+John V. Franco
@@ Property / author: John V. Franco / rank @@
+Normal rank
@@ 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.dam.2005.05.005
+Normal rank
@@ Property / OpenAlex ID @@
+W2001835703
@@ Property / OpenAlex ID: W2001835703 / rank @@
+Normal rank
@@ Property / cites work @@
+A Complexity Index for Satisfiability Problems
@@ Property / cites work: A Complexity Index for Satisfiability Problems / rank @@
+Normal rank
@@ Property / cites work @@
+Recognition of \(q\)-Horn formulae in linear time
@@ Property / cites work: Recognition of \(q\)-Horn formulae in linear time / rank @@
+Normal rank
@@ Property / cites work @@
+Q3140436
@@ Property / cites work: Q3140436 / 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 @@
+Bounded model checking using satisfiability solving
+Normal rank
@@ Property / cites work @@
+Generalized satisfiability problems: Minimal elements and phase transitions.
+Normal rank
@@ Property / cites work @@
+Combinatorial sharpness criterion and phase transition classification for random CSPs
+Normal rank
@@ Property / cites work @@
+Linear-time algorithms for testing the satisfiability of propositional horn formulae
+Normal rank
@@ Property / cites work @@
+Q4952608
@@ Property / cites work: Q4952608 / rank @@
+Normal rank
@@ Property / cites work @@
+Statistical mechanics methods and phase transitions in optimization problems
+Normal rank
@@ Property / cites work @@
+Supersaturated graphs and hypergraphs
@@ Property / cites work: Supersaturated graphs and hypergraphs / rank @@
+Normal rank
@@ Property / cites work @@
+A perspective on certain polynomial-time solvable classes of satisfiability
+Normal rank
@@ Property / cites work @@
+Sharp thresholds of graph properties, and the $k$-sat problem
+Normal rank
@@ Property / cites work @@
+Sharp thresholds for certain Ramsey properties of random graphs
+Normal rank
@@ Property / cites work @@
+A threshold for unsatisfiability
@@ Property / cites work: A threshold for unsatisfiability / rank @@
+Normal rank
@@ Property / cites work @@
+A linear algorithm for renaming a set of clauses as a Horn set
+Normal rank
@@ Property / cites work @@
+Approximation algorithms for combinatorial problems
+Normal rank
@@ Property / cites work @@
+Q4411392
@@ Property / cites work: Q4411392 / rank @@
+Normal rank
@@ Property / cites work @@
+Renaming a Set of Clauses as a Horn Set
@@ Property / cites work: Renaming a Set of Clauses as a Horn Set / rank @@
+Normal rank
@@ Property / cites work @@
+Models for Random Constraint Satisfaction Problems
+Normal rank
@@ Property / cites work @@
+Determining computational complexity from characteristic ‘phase transitions’
+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 @@
+A note on Dowling and Gallier's top-down algorithm for propositional Horn satisfiability
+Normal rank

A sharp threshold for the renameable-Horn and the \(q\)-Horn properties (Q2581546): Difference between revisions

Latest revision as of 14:56, 11 June 2024

Statements

Identifiers

Sitelinks

Mathematics(1 entry)