International Conference on Theory and Applications of Satisfiability Testing

2024 - Pune, India

2023 - Alghero, Italy

2022 - Haifa, Israel

2011 - Ann Arbor, Michigan, USA [proceedings]

2002 - Cincinnati, Ohio, USA

2001 - Boston, Massachusetts, USA (webpage not available)

2000 - Renesse, the Netherlands