SAT distributions with planted assignments and phase transitions between decision and optimization problems

Tassos Dimitriou. SAT distributions with planted assignments and phase transitions between decision and optimization problems. Discrete Applied Mathematics, 153(1-3):58-72, 2005. [doi]

Abstract

Abstract is missing.