随笔 - 260  文章 - 0  评论 - 0  阅读 - 52987 
08 2020 档案
文献学习——Discovering causal graphs with cycles and latent confounders: An exact branch-and-bound approach
摘要：International Journal of Approximate Reasoning Volume 117, February 2020, Pages 29-49 译文：以基于约束的方式从多个数据集发现潜在混杂因素的因果结构。 与SAT结合的点在哪里？ Abstract Understand 阅读全文
posted @ 2020-08-15 16:31 海阔凭鱼跃越 编辑
代码解读——Solver.h及Solver.cpp
该文被密码保护。
posted @ 2020-08-09 09:54 海阔凭鱼跃越 编辑
2020SAT竞赛综述解读2——文献学习Relaxed Backtracking with Rephasing_求解器Relaxed LCMDCBDL系列
摘要：作者： Xindi Zhang1,2 and Shaowei Cai1,2*1State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, China2Sc 阅读全文
posted @ 2020-08-06 21:27 海阔凭鱼跃越 编辑
文献学习Speeding Up Assumption-Based SAT
摘要：Speeding Up Assumption-Based SAT Hickey R., Bacchus F. (2019) Speeding Up Assumption-Based SAT. In: Janota M., Lynce I. (eds) Theory and Applications 阅读全文
posted @ 2020-08-01 10:38 海阔凭鱼跃越 编辑

点击右上角即可分享
微信分享提示