SAT Distributions with Phase Transitions between Decision and Optimization Problems

Tassos Dimitriou. SAT Distributions with Phase Transitions between Decision and Optimization Problems. Electronic Notes in Discrete Mathematics, 16:1-14, 2003. [doi]

Abstract

Abstract is missing.