@misc{indiciae6e3639c5d73f,
  title = {Satisfiability Modulo Theories and Chiral Heterotic String Vacua with Positive Cosmological Constant},
  author = {Alon E. Faraggi and Benjamin Percival and Sven Schewe and Dominik Wojtczak},
  year = {2021},
  doi = {10.1016/j.physletb.2021.136187},
  url = {https://arxiv.org/abs/2101.03227},
  note = {Source identifier: 2101.03227}
}