@inproceedings{
    HVC2011,
    author = "Heule, Marijn J.H. and Kullmann, Oliver and Wieringa, Siert and Biere, Armin",
    juforank = "1",
    isbn = "978-3-642-34188-5",
    language = "eng",
    title = "Cube and Conquer: Guiding {CDCL} {SAT} Solvers by Lookaheads",
    url = "http://www.st.ewi.tudelft.nl/~marijn/publications/cube.pdf",
    series = "Lecture Notes in Computer Science",
    booktitle = "Haifa Verification Conference (HVC)",
    issn = "0302-9743",
    corerank = "NA",
    country = "Germany",
    responsibleauthor = "Wieringa, Siert",
    flags = "DC",
    il = "yes",
    eventdetails = "December 6-8, Haifa, Israel",
    year = "2011",
    unitcode = "T306-25",
    kay = "NA",
    impactfactor = "A4",
    pages = "50-56"
}