Login / Signup
The number of satisfying assignments of random regular k-SAT formulas.
Amin Coja-Oghlan
Nick Wormald
Published in:
CoRR (2016)
Keyphrases
</>
small number
computational complexity
fixed number
search algorithm
propositional formulas