Solving very hard problems: Cube-and-Conquer, a hybrid SAT solving method - Oliver Kullmann (International Joint Conference on Artificial Intelligence (IJCAI), 2017)