@incollection{Heule_2012,
    doi = {10.1007/978-3-642-34188-5_8},
    url = {https://doi.org/10.1007%2F978-3-642-34188-5_8},
    year = {2012},
    publisher = {Springer Berlin Heidelberg},
    pages = {50--65},
    author = {Marijn J. H. Heule and Oliver Kullmann and Siert Wieringa and Armin Biere},
    title = {Cube and Conquer: Guiding {CDCL} {SAT} Solvers by Lookaheads},
    booktitle = {Hardware and Software: Verification and Testing}
}

@incollection{Heule_2012, doi = {10.1007/978-3-642-34188-5_8}, url = {https://doi.org/10.1007%2F978-3-642-34188-5_8}, year = {2012}, publisher = {Springer Berlin Heidelberg}, pages = {50--65}, author = {Marijn J. H. Heule and Oliver Kullmann and Siert Wieringa and Armin Biere}, title = {Cube and Conquer: Guiding {CDCL} {SAT} Solvers by Lookaheads}, booktitle = {Hardware and Software: Verification and Testing} }