Eight queens problem

video-placeholder
Loading...
View Syllabus

Reviews

4.8 (36 ratings)

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

SS

Aug 1, 2019

Filled StarFilled StarFilled StarFilled StarFilled Star

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

HS

May 2, 2020

Filled StarFilled StarFilled StarFilled StarFilled Star

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

From the lesson

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.

Taught By

  • Placeholder

    Hans Zantema

    prof.dr.

Explore our Catalog

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