SAT'96 Workshop On The Satisfiability Problem. Siena, Italy; 29 April -- 3 May 1996. http://www.ece.uc.edu/~franco/Sat-workshop/sat-workshop.html Uc.edu~Site InfoWhoisTrace RouteRBL Check
SAT 2004 The Seventh International Conference on Theory and Applications of Satisfiability Testing. Vancouver, BC, Canada; 10--13 May 2004. http://www.satisfiability.org/SAT04/ Satisfiability.org~Site InfoWhoisTrace RouteRBL Check