Revision history of "SAT 2008"

Jump to: navigation, search

Diff selection: Mark the radio boxes of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

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 +