## Transforming a propositional formula to CNF

### レビュー

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

レッスンから

Theory and algorithms for SAT/SMT

prof.dr.