Search Results - "Satisfiability modulo theories (SMT)"

Search alternatives:

  • Showing 1 - 2 results of 2
Refine Results
  1. Cover Image

    Optimised constraint solving for real-world problems by Taljaard, Johannes Hendrik

    Published 2019
    Subjects: “…Satisfiability Modulo Theories (SMT)…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  2. Cover Image

    Design and evaluation of a formula cache for SMT-based bounded model checking tools by Breytenbach, Jean Anré

    Published 2018
    Subjects: “…Satisfiability modulo theories (SMT)…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:

Search Tools: