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

S Subbarayan, DK Pradhan

Research output: Contribution to journal › Article (Academic Journal) › peer-review

47 Citations (Scopus)

Fingerprint

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

Computer Science

Earth and Planetary Sciences