Login / Signup
Order-to-chaos transition in the hardness of random Boolean satisfiability problems.
Róbert Sumi
Melinda Varga
Zoltán Toroczkai
Mária Ercsey-Ravasz
Published in:
CoRR (2016)
Keyphrases
</>
satisfiability problem
phase transition
np complete
temporal logic
boolean functions
knowledge representation
randomly generated
stochastic local search algorithms