Page values for "SAT 2008"

Jump to: navigation, search
Retrieved from "https://www.openresearch.org/wiki/SAT_2008"
关于“SAT 2008”的事实
RDF源
AcronymSAT 2008 +
End date2008年5月15日 (四) +
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 date2008年5月12日 (一) +
Submission deadline2008年1月11日 (五) +
TitleConference on Theory and Applications of Satisfiability Testing +