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

Deepak Mehta, Barry O'Sullivan, Luis Quesada (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics