2020年6月29日
ttt一种非CDCL框架SAT求解器.基本概念——Ternary Tree Solver (tts-4-0)
摘要： Ternary Tree Solver (tts-4-0) Ivor Spence School of Electronics, Electrical Engineering and Computer Science Queen’s University Belfast i.spence@qub.a 阅读全文
posted @ 2020-06-29 21:32 海阔凭鱼跃越 阅读(313) 评论(0) 推荐(0) 编辑
UCT一种非CDCL框架SAT求解器.基本概念——文献学习Applying UCT to Boolean Satisfiability
摘要： 文献1：Applying UCT to Boolean Satisfiability 文献2：Monte-Carlo Style UCT Search for Boolean Satisfiability 文献3： 文献1——简要说明。没有介绍基本概念。 UCT repeatedly starts 阅读全文
posted @ 2020-06-29 18:44 海阔凭鱼跃越 阅读(269) 评论(0) 推荐(0) 编辑