Overview
The sixth edition of the Indian SAT+SMT School will focus on topics at the interface of SAT and machine learning. The virtual event is organized by the Indian Association for Research in Computing Science (IARCS) and fully sponsored by TCS.
The conference will explore application domains that lie at the interface of constraint solving and machine learning. Here’s an overview of the subject of discussion:
- SAT SMT solvers form the backbone of a range of academic and industrial R&D activities, which include software and hardware verification, logistics, planning, operations research, non-linear discrete optimization, model counting, and so on.
- While constraint solvers are used to establish if machine learning models possess certain properties, machine learning techniques are used to improve the performance of constraint solvers.
