Lazy Clause Generation: Combining the Power of SAT and CP (and MIP?) Solving