Optimal Space-time Tradeoffs for Inverted Indexes
Decoding billions of integers per second through vectorization