Principled and Scalable Diversity-Aware Retrieval via Cardinality-Constrained Binary Quadratic Programming | hypedar