15 citations · 26 across the 2 of their papers we have counts for
8 papers · 1 filter
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…
Classification of Non-Supersymmetric Pati-Salam Heterotic String Models
Alon E. Faraggi, Viktor G. Matyas, Benjamin Percival
We extend the classification of fermionic heterotic string orbifolds to non--supersymmetric Pati--Salam (PS) models in two classes of vacua, that w…
Type 0 Heterotic String Orbifolds and Misaligned Supersymmetry
Alon E. Faraggi, Viktor G. Matyas, Benjamin Percival
The heterotic string orbifold yielded a large space of phenomenological three generation models and serves as a testing ground to explore how the…
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…