Transforming a propositional formula to CNF

Loading...
View Syllabus

Reviews

4.8 (27 ratings)
  • 5 stars
    81.48%
  • 4 stars
    14.81%
  • 3 stars
    3.70%
SS

Aug 02, 2019

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

HS

May 03, 2020

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

From the lesson
Theory and algorithms for SAT/SMT

Taught By

  • Placeholder

    Hans Zantema

    prof.dr.

Explore our Catalog

Join for free and get personalized recommendations, updates and offers.