1 paper · 1 filter
Nachum Dershowitz, Alexander Nadel
A new framework for presenting and analyzing the functionality of a modern DLL-based SAT solver is proposed. Our approach exploits the inherent relation between backtracking and re…