2020年6月12日
布尔约束传播BCP——文献学习Beyond Unit Propagation in SAT Solving
摘要： Kaufmann M., Kottler S. (2011) Beyond Unit Propagation in SAT Solving. In: Pardalos P.M., Rebennack S. (eds) Experimental Algorithms. SEA 2011. Lectur 阅读全文
posted @ 2020-06-12 07:46 海阔凭鱼跃越 阅读(1120) 评论(0) 推荐(1)