Return to Article Details Exploration of Hard to Solve 3-sat Problems Download Download PDF