Course page Home page Home page CoursesNew course

SMT solving: Mathematical Logic course | Zoonk

55. SMT solving

Combines propositional search with decision procedures for arithmetic, arrays, bit vectors, equality, and other theories. Learners encode verification and planning problems for SMT solvers and interpret satisfying models and unsatisfiable cores.

Mathematical Logic

Create this chapter

This chapter is part of the course, but it hasn't been created yet. Create it to see all of its lessons.

Create chapterNBack to courseEsc