Value Ordering for Finding All Solutions: Interactions with Adaptive Variable Ordering.

Deepak Mehta, Barry O'Sullivan, Luis Quesada

Browse the full CP paper archive.