Value Ordering for Finding All Solutions.

Barbara M. Smith, Paula Sturdy

Browse the full IJCAI paper archive.