Page values for "SAT 2008"

Jump to: navigation, search
Retrieved from "https://www.openresearch.org/wiki/SAT_2008"
Facts about "SAT 2008"
RDF feed
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 +