• Optimised constraint solving for real-world problems 

      Taljaard, Johannes Hendrik (Stellenbosch : Stellenbosch University, 2019-12)
      ENGLISH ABSTRACT: Although significant advances in constraint solving technologies have been made during the past decade, Satisfiability Modulo Theories ( SMT) solvers are still a significant bottleneck in verifying program ...