General introduction, and an application to poster printing

Просмотреть программу курса


4.8 (оценок: 9)
  • 5 stars
    7 ratings
  • 4 stars
    2 ratings

Jul 19, 2019

This was a great introductory course for satisfiability. I strongly recommend you to solve all the honorary problems because they were so useful for thorough understanding.


Aug 02, 2019

The course explains the fundamental concepts very clearly. It is very helpful to understand the basic concepts of SMT solvers

Из урока
SAT/SMT basics, SAT examples
This module introduces SAT (satisfiability) and SMT (SAT modulo theories) from scratch, and gives a number of examples of how to apply SAT.


  • Hans Zantema

    Hans Zantema


Ознакомьтесь с нашим каталогом

Присоединяйтесь бесплатно и получайте персонализированные рекомендации, обновления и предложения.