Rectangle fitting

video-placeholder
Loading...
Lehrplan anzeigen

Bewertungen

4.7 (39 Bewertungen)

  • 5 stars
    79,48 %
  • 4 stars
    15,38 %
  • 3 stars
    5,12 %

SS

1. Aug. 2019

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

HS

2. Mai 2020

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

Aus der Unterrichtseinheit

SMT applications

This module shows a number of applications of satisfiability modulo the theory of linear inequalities (SMT)

Unterrichtet von

  • Placeholder

    Hans Zantema

    prof.dr.

Durchsuchen Sie unseren Katalog

Melden Sie sich kostenlos an und erhalten Sie individuelle Empfehlungen, Aktualisierungen und Angebote.