Satisfiability modulo theories and chiral heterotic string vacua with positive cosmological constant

Satisfiability modulo theories and chiral heterotic string vacua with positive cosmological constant

We apply Boolean Satisfiability (SAT) and Satisfiability Modulo Theories (SMT) solvers in the context of finding chiral heterotic string models with positive cosmological constant from Z2×Z2 orbifolds. The power of using SAT/SMT solvers to sift large parameter spaces quickly to decide satisfiability...

Full description

Bibliographic Details
Main Authors: Alon E. Faraggi, Benjamin Percival, Sven Schewe, Dominik Wojtczak
Format: Article
Language:English
Published: Elsevier 2021-05-01
Series:Physics Letters B
Online Access:http://www.sciencedirect.com/science/article/pii/S0370269321001271

Internet

http://www.sciencedirect.com/science/article/pii/S0370269321001271

Similar Items