Solving Condensed-Matter Ground-State Problems by Semidefinite Relaxations