Horn SAT and the minimum cut problem in directed hypergraphs (1998)

by Max
Venue:Mathematical Programming