NiVER: Non Increasing Variable Elimination Resolution for Preprocessing SAT instances.

Sathiamoorthy Subbarayan, Dhiraj K. Pradhan

Browse the full SAT paper archive.