2021年1月25日

CaDiCaL2017->CaDiCaL2018->CaDiCaL2019->Kissat

摘要： LingeLing SPLATZ 2016年比赛用例； 1、简化LingeLing 2、块状句分解 CaDiCaL2017 2017年新提出，思想与SPLATZ相同； 对SAT例子效果不好，循环交织了inprocessing和CDCL，效果得到改善。 inprocessing 这是一种全新得求解方法 阅读全文

posted @ 2021-01-25 20:52 QzZq 阅读(264) 评论(0) 推荐(0)

导航