Skip to main content
Skip to footer
We're taking you to another TCS website now.


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.

 TCS’ participation at the event:

Difference Invariants for Inductive Verification

Divyesh Unadkat

Scientist, TCS Research

December 11, 2021

Encodings for Schedulability

Anand Yeolekar

Scientist, TCS Research

December 11, 2021

Specification Synthesis with Constrained Horn Clauses

Sumanth Prabhu

Scientist, TCS Research

December 11, 2021

To connect with us, click on the contact us button on the bottom right.


Connect with us to transform your workplace

*Required field
*Enter valid First Name
First Name
*Required field
*Enter valid Last Name
Last Name
*Required field
*Email syntax error
*Please use your business email.
*Required field
*Enter valid company name
Company Name
What's your challenge

Thank you for your interest

We will shortly connect.

Click here to submit another form.