Stay Informed:
Baskin Engineering COVID-19 Information and Resources
Campus Roadmap to Recovery
Zoom Links: Zoom Help | Teaching with Zoom | Zoom Quick Guide

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

Jaeheon Yi
06/03/2009 09:00 AM
Computer Science
VSIDS, a popular decision heuristic introduced in CHAFF, is compared against several simple heuristics to evaluate its effectiveness on a given set of benchmarks.