On Implementing More Efficient SAT Data Structures
Inês Lynce, João P. Marques-Silva · ePrints Soton (University of Southampton) · 2003
The dramatic improvements made in recent years to state-of-the-art SAT solvers have in part been motivated by new very effective data structures. This paper proposes to further improve existing data structures, namely the watched literals data structure. Experimental results, obtained on representative problem instances, illustrate the effectiveness of the proposed optimizations, and suggest further directions for additional improvements.