TY - RPRT TI - Finding and proving the exact ground state of a generalized Ising model by convex optimization and MAX-SAT AU - Wenxuan Huang AU - Daniil A. Kitchaev AU - Stephen Dacek AU - Ziqin Rong AU - Alexander Urban AU - Shan Cao AU - Chuan Luo AU - Gerbrand Ceder PY - 2016 DO - 10.1103/physrevb.94.134424 UR - https://arxiv.org/abs/1604.06722 ID - 1604.06722 ER -