Rectangle fitting

Loading...
Visualiser le programme de cours
À partir de la leçon
SMT applications
This module shows a number of applications of satisfiability modulo the theory of linear inequalities (SMT)

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.