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

Ionut D. Aron Daniel H. Leventhal Meinolf Sellmann A Totally Unimodular Description of the Consistent Value Polytope for Binary Constraint Programming. 16-28 2006 conf/cpaior/2006 CPAIOR http://dx.doi.org/10.1007/11757375_4 db/conf/cpaior/cpaior2006.html#AronLS06