Sciweavers

JSAT
2008
79views more  JSAT 2008»
14 years 8 months ago
PicoSAT Essentials
In this article we describe and evaluate optimized compact data structures for watching literals. Experiments with our SAT solver PicoSAT show that this low-level optimization not...
Armin Biere