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 only saves memory, but also turns out to speed up the SAT solver consi
No takes yet. Share an insight, caveat, or question.
Armin Biere (2008) studied this question.
Synapse has enriched 5 related papers. Consider them for comparative context: