SAT 2002
Edit Page
Report
Scan day: 07 February 2014 UTC
118
Virus safety - good
Description: Fifth International Symposium on the Theory and Applications of Satisfiability Testing. Cincinnati, Ohio, USA; 6--9 May 2002.
Fifth International Symposium on the Theory and Applications of Satisfiability Testing Some of the participants waiting for the shuttle ( John Franco, University of Cincinnati Henry Kautz, University of Washington
Size: 214 chars
Contact Information
Email:Send Message
Phone&Fax: —
Address: —
Extended: —
WEBSITE Info
Page title: | SAT2002, Cincinnati, Ohio |
Keywords: | |
Description: | |
IP-address: | 129.137.4.132 |
WHOIS Info
NS | Name Servers: UCDNSA.UC.EDU 129.137.254.4 UCDNSB.UC.EDU 129.137.255.4 |
WHOIS | |
Date | activated: 16-Nov-1987 last updated: 27-Jan-2012 expires: 31-Jul-2014 |