@misc{indiciae374f5fd9391d,
  title = {Finding and proving the exact ground state of a generalized Ising model by convex optimization and MAX-SAT},
  author = {Wenxuan Huang and Daniil A. Kitchaev and Stephen Dacek and Ziqin Rong and Alexander Urban and Shan Cao and Chuan Luo and Gerbrand Ceder},
  year = {2016},
  doi = {10.1103/physrevb.94.134424},
  url = {https://arxiv.org/abs/1604.06722},
  note = {Source identifier: 1604.06722}
}