Cube Subtraction in SAT Solvers. - Romanelli Lodron Zuim; José T. Souza; Claudionor José Nunes Coelho Jr. (LATW, 2006)