StringologyTimes

Data Structures and Algorithms: 2009/8/29-31

1: Algorithms for Placing Monitors in a Flow Network
2: Monadic second-order model-checking on decomposable matroids