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

DOI10.1016/j.physletb.2021.136187OpenAlexW3119368969MaRDI QIDQ2233841

Alon E. Faraggi, Sven Schewe, Dominik Wojtczak, Benjamin Percival

Publication date: 12 October 2021

Published in: Physics Letters. B (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2101.03227

Mathematics Subject Classification ID

Quantum theory (81-XX) Relativity and gravitational theory (83-XX)

Related Items (4)

Breeding Realistic D‐Brane Models ⋮ From free-fermionic constructions to orbifolds and back ⋮ Interpolation and exponentially suppressed cosmological constant in non-supersymmetric heterotic strings with general \(\mathbb{Z}_2\) twists ⋮ Target space duality of non-supersymmetric string theory

Cites Work

• Unnamed Item
• Unnamed Item
• Chiral heterotic strings with positive cosmological constant
• Towards the classification of Tachyon-free models from tachyonic ten-dimensional heterotic string vacua
• Classification of the chiral \(Z_{2}\times Z_{2}\) fermionic models in the heterotic superstring
• Classification of standard-like heterotic-string vacua
• Classification of left-right symmetric heterotic string vacua
• Doublet-triplet splitting in fertile left-right symmetric heterotic string vacua
• Quarks and leptons from orbifolded superstring.
• Computing Small Unsatisfiable Cores in Satisfiability Modulo Theories

This page was built for publication: Satisfiability modulo theories and chiral heterotic string vacua with positive cosmological constant