Login / Signup

Fast sampling and counting k-SAT solutions in the local lemma regime.

Weiming FengHeng GuoYitong YinChihao Zhang
Published in: STOC (2020)
Keyphrases