Skip to main content
Stay Informed:
Baskin Engineering COVID-19 Information and Resources
Campus Roadmap to Recovery
Zoom Links:
Zoom Help
|
Teaching with Zoom
|
Zoom Quick Guide
Jack Baskin School of Engineering
Technology for a Changing World
Navigation
Home
About Us
Academics
Departments
Degree Programs
People
Research
COVID-19 Research
Centers
Institutes
Labs
Patents
Technical Reports
Undergraduate Research
Quick Links
Research
::
Technical Reports
UCSC-SOE-09-21: The Effect of VSIDS on SAT Solver Performance
« Previous
Next »
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