NiVER: Non-increasing Variable Elimination Resolution for Preprocessing SAT Instances.

Sathiamoorthy Subbarayan, Dhiraj K. Pradhan

Browse the full SAT paper archive.