A heuristic based on domain-splitting nogoods from restarts

Authors

Luís Baptista, Francisco Azevedo,