View source for SAT 2008

Jump to: navigation, search

You do not have permission to edit this page, for the following reason:

The action you have requested is limited to users in the group: Users.


You can view and copy the source of this page.

Return to SAT 2008.

Facts about "SAT 2008"
AcronymSAT 2008 +
End dateMay 15, 2008 +
Event typeConference +
Has coordinates23° 7' 49", 113° 15' 33"Latitude: 23.130197222222
Longitude: 113.25929444444
+
Has location cityGuangzhou +
Has location countryCategory:P. R. China +
Homepagehttp://wwwcs.uni-paderborn.de/cs/ag-klbue/en/research/SAT08/sat08-main.php?disp=top +
IsAEvent +
Start dateMay 12, 2008 +
Submission deadlineJanuary 11, 2008 +
TitleConference on Theory and Applications of Satisfiability Testing +