International Conference on Theory and Applications of Satisfiability Testing (SAT)
Event name
International Conference on Theory and Applications of Satisfiability Testing (SAT)
Start date
17-06-2012
End date
20-06-2012
Location
Trient, Italien
Country
Europe
Event format Veranstaltungsformat
On Site