Credits
- The SAT 2014 website is developed and maintained by Carsten Sinz.
- For any issues related to this website, please send an email to Carsten Sinz ( ).
17th International Conference on Theory and Applications
of Satisfiability Testing
July 14-17, 2014 · Vienna, Austria
July 14-17, 2014 · Vienna, Austria
Conference
- About
- Important Dates
- Organization
- Invited Speakers
- Workshops
- Competitions
- Accepted Papers
- Program
- Group Picture
- Contact Information
Calls
Participation
Misc
- Sponsors
- Credits