Preface to Special Issue on SAT/CP Integration. - Hamadi, Youssef; Bordeaux, Lucas (J. Satisf. Boolean Model. Comput., 2007)