Reference:
John Ardelius and Erik Aurell. Behavior of heuristics on large and hard satisfiability problems. Phys. Rev., E74, 2006.
Suggested BibTeX entry:
@article{AA06,
author = {John Ardelius and Erik Aurell},
journal = {Phys. Rev.},
title = {Behavior of heuristics on large and hard satisfiability problems},
volume = {E74},
year = {2006},
}
|