2020年9月6日
文献学习-Yet another Local Search Solver and Lingeling and Friends Entering the SAT Competition 2014
摘要： Armin Biere Institute for Formal Models and Verification Johannes Kepler University Linz Abstract—This paper serves as solver description for the SAT 阅读全文
posted @ 2020-09-06 21:03 海阔凭鱼跃越 阅读(307) 评论(0) 推荐(0)