@article{
    AA06,
    author = "Ardelius, John and Aurell, Erik",
    responsibleperson = "Aurell, Erik",
    title = "Behavior of heuristics on large and hard satisfiability problems",
    url = "http://scitation.aip.org/getabs/servlet/GetabsServlet?prog=normal&id=PLEEE8000074000003037702000001&idtype=cvips&gifs=yes",
    journal = "Phys. Rev.",
    volume = "E74",
    flags = "RAE copy",
    year = "2006",
    impactfactor = "B",
    page = "037702"
}