Skip to content

The 23rd International Conference on Theory and Applications of Satisfiability Testing. 3-10 July 2020

Home
Dates
Committees
CFP
Workshops
Program
- Schedule
- Accepted Papers
Proceedings
Competitions
Speakers
Registration
Venue

Search for:

Site Overlay

Welcome2

prova

Copyright © 2019 SAT 2020, All Right Reserved.