Rectangle fitting

Loading...
강의 계획서 보기

검토

4.8(13개의 평가)
  • 5 stars
    11 ratings
  • 4 stars
    2 ratings
JS

Jul 19, 2019

This was a great introductory course for satisfiability. I strongly recommend you to solve all the honorary problems because they were so useful for thorough understanding.

SS

Aug 02, 2019

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

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

강사:

  • Hans Zantema

    Hans Zantema

    prof.dr.

Coursera 카탈로그 살펴보기

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