Lazy Branching for Constraint Satisfaction.

Deepak Mehta, Barry O'Sullivan, Lars Kotthoff, Yuri Malitsky

Browse the full ICTAI paper archive.