A Totally Unimodular Description of the Consistent Value Polytope for Binary Constraint Programming.

Ionut D. Aron, Daniel H. Leventhal, Meinolf Sellmann

Browse the full CPAIOR paper archive.