Dan Hoey's message in reply to Russell Easterly
Date
Subject
July 20, 2002
Fun With 3-SAT