The Decimation Process in Random k-SAT

Automata, Languages and Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-642-22006-7_26 ◽

2011 ◽

pp. 305-316 ◽

Author(s):

Amin Coja-Oghlan ◽

Angelica Y. Pachon-Pinzon

Download Full-text