AND/OR Branch-and-Bound Search for Pure 0/1 Integer Linear Programming Problems.

Radu Marinescu, Rina Dechter

Browse the full CPAIOR paper archive.