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

Publication date: Available online 10 March 2021Source: Physics Letters BAuthor(s): Alon E. Faraggi, Benjamin Percival, Sven Schewe, Dominik Wojtczak

Source: Physics Letters B - March 11, 2021 Category: Physics Source Type: research