@article{PhysRevB.94.134424,
  title = {Finding and proving the exact ground state of a generalized Ising model by convex optimization and MAX-SAT},
  author = {Huang, Wenxuan and Kitchaev, Daniil A. and Dacek, Stephen T. and Rong, Ziqin and Urban, Alexander and Cao, Shan and Luo, Chuan and Ceder, Gerbrand},
  journal = {Phys. Rev. B},
  volume = {94},
  issue = {13},
  pages = {134424},
  numpages = {12},
  year = {2016},
  month = {Oct},
  publisher = {American Physical Society},
  doi = {10.1103/PhysRevB.94.134424},
  url = {https://link.aps.org/doi/10.1103/PhysRevB.94.134424}
}