Author:Henrik Cao

Keyphrases

blocked clause elimination, bounded variable elimination, CDCL, clause signature, hash based preprocessing, hash function, inprocessing, Preprocessing, SAT, SAT solver.