SAT 2013
16th International Conference on Theory and Applications of Satisfiability Testing

July 8-12, 2013   ·   Helsinki, Finland

Site Credits

  • The SAT 2013 website is developed and maintained by Matti Järvisalo.
  • For any issues related to this website, please send email to sat2013[AT]cs.helsinki.fi.

Acknowledgements