Login / Signup
Finding cores of random 2-SAT formulae via Poisson cloning
Jeong Han Kim
Published in:
CoRR (2008)
Keyphrases
</>
random sat
phase transition