随笔 - 260
文章 - 0
评论 - 0
阅读 -
52987
07 2021 档案
2021求解器竞赛总结学习笔记（未完）
摘要：一、SLIME SAT Solver 1.关注变元的赋值时一项重要工作 （1）在重启阶段考虑规划所有变元的极性，使之最接近目标赋值。采用的方法比较特殊。 We improve the restart stage with a reconfiguration ofpreassigned polarit
阅读全文
minisat中用到的数据结构
摘要：通用的数据结构在文件夹mtl中可以查询 基本的数据结构在SolverTypes.h中定义 1. Lit 1 struct Lit { 2 int x; 3 4 // Use this as a constructor: 5 friend Lit mkLit(Var var, bool sign );
阅读全文
算法学习——The Compass Search Optimization Algorithm
摘要：该算法对应有各种语言版本：python、c++、MATLAB等 COMPASS_SEARCH, a Python library which seeks the minimizer of a scalar function of several variables using compass sea
阅读全文
