9789310190030
Manas Das
Shakti Path Publications
English
Computer Science, IT & Applications - Computer Science, IT & Applications
2017
11680.00
Improving SAT Solvers by Exploiting Empirical Characteristics of CDCL
