General introduction, and an application to poster printing

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

검토

4.8개(36개 평가)

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

SS

2019년 8월 1일

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

HS

2020년 5월 2일

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

수업에서

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.

강사:

  • Placeholder

    Hans Zantema

    prof.dr.

Coursera 카탈로그 살펴보기

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