Reihe Foundations of ComputingMatthias Bentert × Elements of Dynamic and 2-SAT Programming: Paths, Trees, and Cuts Matthias BentertUniversitätsverlag der TU BerlinBuch2021