25 citations · 79 across the 35 of their papers we have counts for
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…