1: A linear time algorithm for quantum 2-SAT
2: Graphulo: Linear Algebra Graph Kernels for NoSQL Databases
3: Colored Bin Packing
4: Approximating (Unweighted) Tree Augmentation via Lift-and-Project, Part I: Stemless TAP
5: Intersection-Link Representations of Graphs
6: Non-negative submodular stochastic probing via stochastic contention resolution schemes
7: Interval scheduling maximizing minimum coverage