Cube-and-Conquer for Satisfiability - Oliver Kullmann (Springer, 2018)