Variable Ordering for the Application of BDDs to the Maximum Independent Set Problem.

David Bergman, Andr A. Cir, Willem Jan van Hoeve, John N. Hooker

Browse the full CPAIOR paper archive.