Automated Resonance Assignment Via Boolean Satisfiability And Quadratic Programming