A Scalable Global Model for Summarization
Reducibility Among Combinatorial Problems