2020年7月25日
2.Cadical-代码解读arena类型
摘要： 学习掌握两个文件arena.hpp和arena.cpp arena.hpp文件内容 #ifndef _arena_hpp_INCLUDED#define _arena_hpp_INCLUDED namespace CaDiCaL { /* This memory allocation arena p 阅读全文
posted @ 2020-07-25 23:30 海阔凭鱼跃越 阅读(182) 评论(0) 推荐(0) 编辑
Armin Biere的报告1——Weaknesses of CDCL Solvers
摘要： Weaknesses of CDCL SolversArmin BiereJohannes Kepler UniversityLinz, Austria 讲座的时间、地点：The Fields Institute, Toronto, Canada Tuesday, August 16, 2016 A 阅读全文
posted @ 2020-07-25 19:06 海阔凭鱼跃越 阅读(345) 评论(0) 推荐(0) 编辑