Login / Signup
The birth of the contradictory component in random 2-SAT.
Sergey Dovgal
Published in:
CoRR (2019)
Keyphrases
</>
random sat
sat problem
random constraint satisfaction problems
np complete
phase transition
satisfiability problem
boolean satisfiability
objective function