15 citations · 26 across the 2 of their papers we have counts for
6 papers
Satisfiability Modulo Theories and Chiral Heterotic String Vacua with Positive Cosmological Constant
Alon E. Faraggi, Benjamin Percival, Sven Schewe +1
We apply Boolean Satisfiability (SAT) and Satisfiability Modulo Theories (SMT) solvers in the context of finding chiral heterotic string models with positive cosmological constant…
Type Heterotic String Orbifolds
Alon E. Faraggi, Viktor G. Matyas, Benjamin Percival
The heterotic string orbifold gives rise to a large space of phenomenological three generation models that serves as a testing ground to explore how the Standard Mo…
Towards the Classification of Tachyon-Free Models From Tachyonic Ten-Dimensional Heterotic String Vacua
Alon E. Faraggi, Viktor G. Matyas, Benjamin Percival
Recently it was proposed that ten-dimensional tachyonic string vacua may serve as starting points for the construction of viable four dimensional phenomenological string models whi…
Doublet-Triplet Splitting in Fertile Left-Right Symmetric Heterotic String Vacua
Alon E. Faraggi, Glyn Harries, Benjamin Percival +1
Classification of Left-Right Symmetric (LRS) heterotic-string vacua in the free fermionic formulation, using random generation of generalised GSO (GGSO) projection coefficients, pr…
Stable Three Generation Standard--like Model From a Tachyonic Ten Dimensional Heterotic--String Vacuum
Alon E. Faraggi, Viktor G. Matyas, Benjamin Percival
Recently it was proposed that the ten dimensional tachyonic superstring vacua may serve as good starting points for the construction of viable phenomenological models. Such phenome…
Towards machine learning in the classification of Z2xZ2 orbifold compactifications
Alon E. Faraggi, Glyn Harries, Benjamin Percival +1
Systematic classification of Z2xZ2 orbifold compactifications of the heterotic-string was pursued by using its free fermion formulation. The method entails random generation of str…