General introduction, and an application to poster printing

Loading...
Visualizar o programa do curso

Avaliações

4.8 (26 classificações)
  • 5 stars
    84.61%
  • 4 stars
    15.38%
SS

Aug 02, 2019

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

HS

May 03, 2020

More programming problems (probably on the later half) would be really interesting and helpful

Na lição
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.

Ministrado por

  • Placeholder

    Hans Zantema

    prof.dr.

Explore nosso catálogo

Registre-se gratuitamente e obtenha recomendações, atualizações e ofertas personalizadas.