Sciweavers

JSAT
2008
79views more  JSAT 2008»
14 years 14 days 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