Bentert, Matthias Elements of dynamic and 2-SAT programming: paths, trees, and cuts English[eng] Subjects--Topical Terms: graph diameter||shortest paths computation||flow and cut problems||resource allocation||computational biology