Skip to main content

SAT 2017

Posted by: azi010

June 13, 2017

The 20th International Conference on Theory and Applications of Satisfiability Testing (SAT) will be held in Melbourne, Australia from August 28 to September 1, 2017. ADT members Serge Gaspers and Toby Walsh are the program chairs.