随笔 - 260
文章 - 0
评论 - 0
阅读 -
52987
05 2023 档案
文献阅读-Inferring Networks of Diffusion and Influence
摘要：Authors: Manuel Gomez-Rodriguez, Jure Leskovec, Andreas Krause Authors Info & Claims ACM Transactions on Knowledge Discovery from DataVolume 5Issue 4A
阅读全文
kissat分析01_基本数据结构03_frame_trail
摘要：frame.h 1 #define INVALID_TRAIL UINT_MAX 2 3 struct frame 4 { 5 unsigned decision; 6 unsigned trail:LD_MAX_TRAIL; 7 unsigned used:2; 8 bool promote:1;
阅读全文
kissat分析02_主要功能函数03_restart-变元选择策略-对trail的访问
摘要：需要查看以下文件 restart.h、restart.c、mode.h、mode.c、search.c backtrack.h backtrack.c limit.h limit.c trail.h trail.c frames.h frames.c decide.h decide.c 1.重启涉及
阅读全文
文献阅读_kissat基本改进的文字说明与分析
摘要：Kissat SAT Solver 以下文字来源于： （1）https://fmv.jku.at/kissat/ （2）Armin Biere, Katalin Fazekas, Mathias Fleury, Maximillian Heisinger.CaDiCaL, Kissat, Parac
阅读全文
转载：各类求解器的技术改进
摘要：原帖见：https://www.cnblogs.com/zhangzhangtabszj/p/14327369.html 感谢博主QzZq！ 以下为原网页粘贴复制版-无修改-备查 LingeLing SPLATZ 2016年比赛用例； 1、简化LingeLing 2、块状句分解 CaDiCaL201
阅读全文
入门2023-5-5
摘要：1.密码算法通过TA-language编写程序，进而使用 程序生成对应的cnf，求解得到sat复制序列对应前面若干位为一组密钥（参数或初值）https://gitlab.com/transalg/transalg 2.密码分析工具框架https://github.com/kste/cryptosmt
阅读全文
kissat分析02_主要功能函数02_reduce
摘要：涉及search.c、reduce.c、collect.c、clause.c等多个文件 //search.c主程序调用功能函数的流程框架 1 int 2 kissat_search (kissat * solver) 3 { 4 start_search (solver); 5 6 int res
阅读全文
kissat分析02_主要功能函数01_propagate
摘要：传播函数分布在propsearch.h、propsearch.c和proplit.c文件之中 propsearch.h #ifndef _propsearch_h_INCLUDED #define _propsearch_h_INCLUDED struct kissat; struct clause
阅读全文
kissat分析01_基本数据结构02_solver
摘要：指针solver对应类型kissat在internal.h中定义 下面从使用的角度来了解solver个主要数据成员 assign.c中几个函数 static inline void kissat_assign (kissat * solver, #ifdef INLINE_ASSIGN value
阅读全文
