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},
}

See scitation.aip.org ...