A Faster Clause-Shortening Algorithm for SAT with No Restriction on Clause Length.

Evgeny Dantsin Alexander Wolpert A Faster Clause-Shortening Algorithm for SAT with No Restriction on Clause Length. 49-60 2006 1 JSAT 1 http://jsat.ewi.tudelft.nl/content/volume1/JSAT1_2_Dantsin.pdf db/journals/jsat/jsat1.html#DantsinW06