|
|
|
|
|
Tasniem Al-Yahya, Mohamed El Bachir Abdelkrim Menai and Hassan Mathkour
Boolean structural measures were introduced to explain the high performance of conflict-driven clause-learning (CDCL) SAT solvers on industrial SAT instances. Those considered in this study include measures related to backbones and backdoors: backbone si...
ver más
|
|
|
|
|