Event Details

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. But the technical study of these solvers is limited to a few. This winter school series will focus on SAT + SMT solvers. It will include basic courses on logic, and tutorials on solvers by eminent scientists and developers from around the world, and latest research and applications centered on these solvers. 

The technical study of these SAT+SMT solvers is limited to a few. This winter school series will focus on these solvers. It will include basic courses on logic, and tutorials on solvers by eminent scientists and developers from around the world, and latest research and applications centered on these solvers. 

TCS Participation

TCS is a Platinum Sponsor of the Third Indian SAT+SMT School