Lazy Branching for Constraint Satisfaction

Deepak Mehta, Barry O'Sullivan, Lars Kotthoff, Yuri Malitsky. Lazy Branching for Constraint Satisfaction. In 2013 IEEE 25th International Conference on Tools with Artificial Intelligence, Herndon, VA, USA, November 4-6, 2013. pages 1012-1019, IEEE, 2013. [doi]

Abstract

Abstract is missing.