General introduction, and an application to poster printing

Loading...
Visualiser le programme de cours
À partir de la leçon
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.

Enseigné par

  • Hans Zantema

    Hans Zantema

    prof.dr.

Explorer notre catalogue

Rejoignez-nous gratuitement et obtenez des recommendations, des mises à jour et des offres personnalisées.