Unsatisfiability bounds for random constraint satisfaction problems (RCSPs) from an energetic interpolation method.
Abstract. To
be added.
D. Achlioptas
and R. Menchaca-Mendez. Exponential
lower bounds for DPLL algorithms on satisfiable
random 3-CNF formulas. Theory and Applications
of Satisfiability Testing–SAT 2012, pages
327–340, 2012. (pdf)
D. Achlioptas
and R. Menchaca-Mendez. Unsatisfiability
bounds for random CSPs from an energetic interpolation method. Automata, Languages, and Programming, pages 1–12, 2012.
(pdf)