TY  - RPRT
TI  - Analysing Survey Propagation Guided Decimation on Random Formulas
AU  - Samuel Hetterich
PY  - 2016
UR  - https://arxiv.org/abs/1602.08519
ID  - 1602.08519
ER  -