SAT Conference: 17th International Conference on Theory and Applications of Satisfiability Testing

Date: Monday, July 14, 2014

Uwe Egly co-chairs 17th International Conference on Theory and Applications of Satisfiability Testing which is collocated with Vienna Summer of Logic.

For more information visit http://baldur.iti.kit.edu/sat2014/.

Posted in Events, News