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

S Subbarayan, DK Pradhan

Research output: Contribution to journalArticle (Academic Journal)peer-review

Fingerprint Dive into the research topics of 'NiVER: Non-increasing Variable Elimination Resolution for Preprocessing SAT Instances'. Together they form a unique fingerprint.

Engineering & Materials Science