3 citations · 4 across the 4 of their papers we have counts for
1 paper · 1 filter
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…