UCSC-SOE-09-21: The Effect of VSIDS on SAT Solver Performance

Authors Jaeheon Yi

Published On 06/03/2009 09:00 AM

Department Computer Science

Abstract VSIDS, a popular decision heuristic introduced in CHAFF, is compared against several simple heuristics to evaluate its effectiveness on a given set of benchmarks.

Download

UCSC-SOE-09-21