3 citations · 3 across the 1 of their papers we have counts for
1 paper
A. -M. Leventi-Peetz, O. Zendel, W. Lennartz +1
Performing hundreds of test runs and a source-code analysis, we empirically identified improved parameter configurations for the CryptoMiniSat (CMS) 5 for solving cryptographic CNF…