15 citations · 26 across the 2 of their papers we have counts for
1 paper · 1 filter
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…