SAT 2002

Edit Page

Report

Scan day: 07 February 2014 UTC

118

Virus safety - good

http://gauss.ececs.uc.edu/Conferences/SAT2002/

Description: Fifth International Symposium on the Theory and Applications of Satisfiability Testing. Cincinnati, Ohio, USA; 6--9 May 2002.

Subcat: https://morefunz.com/computers/algorithms/conferences/?page=1

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