一. 整体架构 整体架构和YOLO-V3相同（感谢知乎大神@江大白），创新点如下： 输入端 --> Mosaic数据增强、cmBN、SAT自对抗训练； BackBone --> CSPDarknet53、Mish激活函数、Dropblock； Neck --> SPP、FPN+PAN结构； Pred ...
分类：
其他好文 时间：
2020-07-02 18:21:13
阅读次数：
474
要点：使用DMRP algorithm (decision making with a reference point)在重启阶段为解决问题提供好的方向。 引文来自： Kottler S. (2010) SAT Solving with Reference Points. In: Strichman ...
分类：
其他好文 时间：
2020-06-30 20:42:54
阅读次数：
56
option = { xAxis: { type: 'category', data: ['Mon', 'Tue', 'Wed', 'Thu', 'Fri', 'Sat', 'Sun'] }, yAxis: { type: 'value' }, series: [{ data: [120, 200, ...
分类：
其他好文 时间：
2020-06-30 16:02:33
阅读次数：
165
A branching heuristic for SAT solvers based on complete implication graphs Xiao, F., Li, C., Luo, M. et al. A branching heuristic for SAT solvers base ...
分类：
其他好文 时间：
2020-06-28 22:11:49
阅读次数：
63
Improving SAT Solving Using Monte Carlo Tree Search-Based Clause Learning keszocze O., Schmitz K., Schloeter J., Drechsler R. (2020) Improving SAT Sol ...
分类：
其他好文 时间：
2020-06-27 16:13:03
阅读次数：
55
###什么是2-SAT 2-sat问题是一个逻辑互斥问题，与我们小时候做过的一道数学题一样。 A,B,C三个人中有两个女生，其中如果A为女生，B一定不是女生，而且A与C性别相同，求A，B，C的性别。 这是一道非常简单的题目，我们可以简单分析一下。 我们用$f[i]=0$表示$i$为女生，$f[i]= ...
分类：
其他好文 时间：
2020-06-18 01:38:52
阅读次数：
45
2-sat 1.算法分析 有 n 个变量x[1...n]，每个变量的可能取值为1或0（或称i和~i必取到其中1个）。 给定 m 个约束条件，每个约束条件形如： 若 x[i] 取 i（或者~i），则 x[j] 必取 j（或者~j） 判定是否存在对每个变量的合法赋值，使所有约束都被满足 判定方法： 建立 ...
分类：
其他好文 时间：
2020-06-15 19:25:35
阅读次数：
49
入门参考文献 1.Gong L, Wang Z, Chu C, Yuan Y, Wang T. bfSAT: An Incremental SAT Solver Based On Prioritizing Binary Clauses. 2019 IEEE International Confere ...
分类：
其他好文 时间：
2020-06-09 10:10:30
阅读次数：
95
参考文献： 1. Gilles Audemard，Laurent Simon: On the Glucose SAT Solver 一、对学习自己作用的认识 The first answer was just abouttrying to contain the combinatorial expl ...
分类：
其他好文 时间：
2020-06-08 13:08:22
阅读次数：
87
1.首先将输入cnf文件静态信息做统计 2.传播长度 3.从外部增加cmt文件和已知的求解结果inversionFile——代码见文件夹MY01allreadyTruSolver20191008 收获最大的是对输出输出等文件操作做到了驾轻就熟。 （1）增加了重启首变元的选取次数——check the ...
分类：
其他好文 时间：
2020-05-29 19:32:58
阅读次数：
82
