General introduction, and an application to poster printing

Loading...
강의 계획서 보기

검토

4.8(13개의 평가)
  • 5 stars
    11 ratings
  • 4 stars
    2 ratings
수업에서
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.

강사:

  • Hans Zantema

    Hans Zantema

    prof.dr.

Coursera 카탈로그 살펴보기

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