sentence1: the first construction of ds vacua in string theory were obtained in 2003 by kachru , kallosh , linde and trivedi .
sentence2: in 2003 kallosh , kachru , linde and trivedi provided the first example of a mechanism to obtain stable de sitter vacua in the framework of type iib string theory .