Browsing Theses by Subject "automated reasoning"
Now showing items 1-1 of 1
-
AlphaSMT: A Reinforcement Learning Guided SMT Solver
(University of Waterloo, 2023-06-19)Satisfiability Modulo Theories (SMT) solvers are programs that decide whether a first-order logic formula is satisfiable. Over the last two decades, these solvers have become central to many methods and tools in fields as ...