Resolution

Loading...
查看授課大綱

審閱

4.8(10 個評分)
  • 5 stars
    8 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

從本節課中
Theory and algorithms for CNF-based SAT

教學方

  • Hans Zantema

    Hans Zantema

    prof.dr.

探索我們的目錄

免費加入並獲得個性化推薦、更新和優惠。