海阔凭鱼跃越

2020年7月22日

1CaDiCal——求解器2020参赛版本说明

摘要： CADICAL, KISSAT, PARACOOBA, PLINGELING and TREENGELING Entering the SAT Competition 2020 Armin Biere Katalin Fazekas Mathias Fleury Maximilian Heising 阅读全文

posted @ 2020-07-22 11:38 海阔凭鱼跃越阅读(764) 评论(0) 推荐(0)

2020年7月21日

文献阅读Centrality-Based Improvements to CDCL Heuristics

摘要： Centrality-Based Improvements to CDCL Heuristics Abstract There are many reasons to think that SAT solvers should be able to exploit formula structure 阅读全文

posted @ 2020-07-21 16:25 海阔凭鱼跃越阅读(206) 评论(0) 推荐(0)

2020年7月18日

静态信息挖掘与使用——文献学习--Variable Ordering for Efficient SAT Search by Analyzing Constraint-Variable Dependencies

摘要： Variable Ordering for Efficient SAT Search by Analyzing Constraint-Variable Dependencies Vijay Durairaj and Priyank KallaDepartment of Electrical and 阅读全文

posted @ 2020-07-18 09:15 海阔凭鱼跃越阅读(191) 评论(0) 推荐(0)

2020年7月14日

求解结果数据分析_instances_times_plotImage

该文被密码保护。阅读全文

posted @ 2020-07-14 22:43 海阔凭鱼跃越阅读(4) 评论(0) 推荐(0)

2020年7月7日

布尔约束传播BCP——文献学习Clause vivification by unit propagation in CDCL SAT solvers

摘要： Clause vivification by unit propagation in CDCL SAT solvers 提出了一种子句复活方法，通过应用单元传播来消除冗余文字. Abstract Original and learnt clauses in Conflict-Driven Claus 阅读全文

posted @ 2020-07-07 16:31 海阔凭鱼跃越阅读(489) 评论(0) 推荐(0)

2020年7月3日

动态网络构建与推理——文献阅读Structure and Dynamics of Information Pathways in Online Media

摘要： Structure and Dynamics of Information Pathways in Online Media 找出持久的话题和底层网络 ABSTRACT Diffusion of information, spread of rumors and infectious disease 阅读全文

posted @ 2020-07-03 07:07 海阔凭鱼跃越阅读(441) 评论(0) 推荐(0)

2020年7月1日

决策变元选择_决策分支策略——文献学习SAT-Solving Based on Boundary Point Elimination

摘要： SAT-Solving Based on Boundary Point Elimination Goldberg E., Manolios P. (2011) SAT-Solving Based on Boundary Point Elimination. In: Barner S., Harris 阅读全文

posted @ 2020-07-01 11:01 海阔凭鱼跃越阅读(264) 评论(0) 推荐(0)

2020年6月30日

决策变元选择_决策分支策略——文献学习SAT Solving with Reference Points

摘要：要点：使用DMRP algorithm (decision making with a reference point)在重启阶段为解决问题提供好的方向。引文来自： Kottler S. (2010) SAT Solving with Reference Points. In: Strichman 阅读全文

posted @ 2020-06-30 18:47 海阔凭鱼跃越阅读(441) 评论(0) 推荐(0)

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 海阔凭鱼跃越阅读(340) 评论(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 海阔凭鱼跃越阅读(344) 评论(0) 推荐(0)

公告