@inproceedings{ijcai2017p683, author = {Marijn J.H. Heule and Oliver Kullmann and Victor W. Marek}, title = {Solving Very Hard Problems: Cube-and-Conquer, a Hybrid SAT Solving Method}, booktitle = {Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, {IJCAI-17}}, pages = {4864--4868}, year = {2017}, doi = {10.24963/ijcai.2017/683}, url = {https://doi.org/10.24963/ijcai.2017/683}, }