Page values for "SAT 2008"
Facts about "SAT 2008"
Acronym | SAT 2008 + |
End date | May 15, 2008 + |
Event type | Conference + |
Has coordinates | 23° 7' 49", 113° 15' 33"Latitude: 23.130197222222 Longitude: 113.25929444444 + |
Has location city | Guangzhou + |
Has location country | Category:P. R. China + |
Homepage | http://wwwcs.uni-paderborn.de/cs/ag-klbue/en/research/SAT08/sat08-main.php?disp=top + |
IsA | Event + |
Start date | May 12, 2008 + |
Submission deadline | January 11, 2008 + |
Title | Conference on Theory and Applications of Satisfiability Testing + |