Rectangle fitting

video-placeholder
Loading...
강의 계획표 보기

검토

4.8개(36개 평가)

  • 5 stars
    80.55%
  • 4 stars
    16.66%
  • 3 stars
    2.77%

SS

2019년 8월 1일

Filled StarFilled StarFilled StarFilled StarFilled Star

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

HS

2020년 5월 2일

Filled StarFilled StarFilled StarFilled StarFilled Star

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

수업에서

SMT applications

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

강사:

  • Placeholder

    Hans Zantema

    prof.dr.

Coursera 카탈로그 살펴보기

무료로 참여해 맞춤화된 추천, 업데이트 및 제안을 받아보세요.