About SAT + SMT

SAT and SMT solvers are the backbone of a wide range of academic and industrial R&D activities today. These include software and hardware verification, logistics, planning, operations research, non-linear discrete optimization, model counting, etc. Recently, there is a huge interest in application domains that lie at the interface of constraint solving and machine learning. On one hand constraint solvers are used to establish if ML models possess certain properties, on the other hand, ML techniques are used to improve the performance of constraint solvers. The Sixth edition of the Indian SAT+SMT School will focus on exploring topics at the interface of SAT and ML.

The Sixth edition of this school will be held during 10-12 December, 2021 as an online virtual event! We expect the audience to include Ph.D./masters students and academics from Indian colleges/universities, and engineers from the industry.



Tweet to us at @satsmtschool

If you have any questions, please contact us via e-mail at: indian.satsmt.school@gmail.com

Important Dates
  • SAT+SMT school: December 10, 2021.

  • Registration opened! Please register  here.

With sponsorship support from :

TCS Research