Describir: Facial Reduction of Semidefinite Relaxations of Binary Quadratic Problems