1 paper
Sergei Leonov, Liam Davis
In this paper, we introduce StalmarckSAT, the a modern re-implementation of the StÃ¥lmarck Procedure for SAT solving, and present two novel strategies to improve the Procedure, Car…