Sort by
Refine Your Search
-
, quantitative, and mixed methodologies—the program seeks to analyze contemporary scenarios, their transformations, and their potential outcomes. This analysis is grounded in general theories of the State and
-
techniques, with a specific focus on symbolic model checking methods using satisfiability and satisfiability modulo theories solvers as symbolic reasoning engines. Importantly, in addition to researching novel
Searches related to string theory
Enter an email to receive alerts for string-theory positions