1 citations · 1 across the 1 of their papers we have counts for
1 paper
A. -M. Leventi-Peetz, Jörg-Volker Peetz, Martina Rohde
In order to classify the indeterministic termination behavior of the open source SAT solver CryptoMiniSat in multi-threading mode while processing hard to solve boolean satisfiabil…