Impurity: another phase transition of SAT

MaRDI QIDQ3507037zbMATH OpenFDO

Authors Eliezer L. Lozinskii

Publication date 18 June 2008

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Nonnumerical algorithms (68W05)

Recommendations

• The SAT phase transition
• Implicates and prime implicates in random 3-SAT
• On the phase transitions of (k, q)-SAT
• Walksat Stalls Well Below Satisfiability
• A sharp threshold for the phase transition of a restricted satisfiability problem for Horn clauses

Cited in

(1)

• Implicates and prime implicates in random 3-SAT

This page was built for publication: Impurity: another phase transition of SAT

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