scientific article; zbMATH DE number 2151254

MaRDI QIDQ4660724zbMATH OpenFDO

Authors Gabriel Istrate

Publication date 4 April 2005

zbMATH Keywords

phase transition

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Critical phenomena in equilibrium statistical mechanics (82B27)

Recommendations

• scientific article; zbMATH DE number 1305521
• The phase transition in random horn satisfiability and its algorithmic implications
• A sharp threshold for the phase transition of a restricted satisfiability problem for Horn clauses
• A sharp threshold for the renameable-Horn and the \(q\)-Horn properties
• Approximation, Randomization and Combinatorial Optimization. Algorithms and Techniques

Cited in

(11)

• Correlations between Horn fractions, satisfiability and solver performance for fixed density random 3-CNF instances
• The Horn renamability, q-Horn and SLUR threshold for random \(k\)-CNF formulas
• The structure of the set of satisfying assignments for a random \(k\)-CNF
• scientific article; zbMATH DE number 1305521 (Why is no real title available?)
• scientific article; zbMATH DE number 1113994 (Why is no real title available?)
• The phase transition in random horn satisfiability and its algorithmic implications
• scientific article; zbMATH DE number 2083805 (Why is no real title available?)
• Simple but hard mixed Horn formulas
• Random Horn formulas and propagation connectivity for directed hypergraphs
• A continuous–discontinuous second‐order transition in the satisfiability of random Horn‐SAT formulas
• A sharp threshold for the phase transition of a restricted satisfiability problem for Horn clauses

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4660724)