S. Thomas McCormick Satoru Fujishige Strongly polynomial and fully combinatorial algorithms for bisubmodular function minimization. 44-53 2008 SODA http://doi.acm.org/10.1145/1347082.1347088 conf/soda/2008 db/conf/soda/soda2008.html#McCormickF08