Bounds on the Satisfiability Threshold for Power Law Distributed Random SAT.
Tobias Friedrich, Anton Krohmer, Ralf Rothenberger, Thomas Sauerwald, Andrew M. Sutton
Browse the full ESA paper archive.
Tobias Friedrich, Anton Krohmer, Ralf Rothenberger, Thomas Sauerwald, Andrew M. Sutton
Browse the full ESA paper archive.