Horn Upper Bounds and Renaming.

Marina Langlois, Robert H. Sloan, Gyrgy Turn

Browse the full SAT paper archive.