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]

Possibly Related Publications

The following publications are possibly variants of this publication: