The Decimation Process in Random $k$-SAT (2012)
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.1137/110842867
Publication URI: http://dx.doi.org/10.1137/110842867
Type: Journal Article/Review
Parent Publication: SIAM Journal on Discrete Mathematics
Issue: 4