1: Ackermann Encoding, Bisimulations, and OBDDs 2: An Optimal Algorithm for the Maximum-Density Segment Problem 3: Set K-Cover Algorithms for Energy Efficient Monitoring in Wireless Sensor Networks