Behavior of heuristics on large and hard satisfiability problems
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},
}