Search for dissertations about: "Jie-Hong Roland Jiang"

Found 1 swedish dissertation containing the words Jie-Hong Roland Jiang.

2. 1. Quantifiers and Theories : A Lazy Approach

   Author : Peter Backeman; Philipp Rümmer; Jie-Hong Roland Jiang; Uppsala universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Automated Reasoning; Automated Theorem Proving; SMT; Unification; Datavetenskap med inriktning mot inbyggda system; Computer Science with specialization in Embedded Systems;

   Abstract : In this thesis we study Automated Theorem Proving (ATP) as well as Satisfiability Modulo Theories (SMT) and present lazy strategies for improving reasoning within these areas. A lazy strategy works by simplifying a problem, and gradually refines the abstraction only when necessary. READ MORE