2024年7月2日
摘要：
Distributed Constrained Combinatorial Optimization leveraging Hypergraph Neural Networks Abstract Scalable addressing of high dimensional constrained 阅读全文
2024年7月2日
2024年6月30日
摘要：
早期文献1：SATO: An Efficient Propositional Prover Hantao Zhang:SATO: An Efficient Propositional Prover. CADE 1997: 272-275@inproceedings{DBLP:conf/cade/Zh 阅读全文
2024年6月27日
摘要：
文献：Understanding VSIDS Branching Heuristics in Conflict-Driven Clause-Learning SAT Solvers 一、VIG图与TVIG图用于反映运行时信息 1. 基本思想 variable incidence graph expo 阅读全文
2024年6月3日
摘要：
1.第一阶段：遇到宏max/min引起的编译错误，修改方案为：将这两个宏改为函数模板，并依据编译错误提示位置将相应max/min改成能实现对应功能的条件语句。 2.第二阶段： 发生错误： g++ -Wall -Wextra -O3 -DNDEBUG -I../build -o cadical cad 阅读全文
摘要：
Making Deduction More Effective in SAT Solvers IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, VOL. 29, NO. 8, AUGUST 2 阅读全文
摘要：
部分完成特定功能的对象，平时修改代码时很少用到。 1. a56爆大奖在线娱乐增量式SAT求解器可以有效地求解一系列相关公式。它通过IPASIR等接口与集成它的应用程序通信[11]。自2015年以来，所有参加SAT竞赛增量库轨道的求解者都实施了该方案。流行的解算器MiniSat及其所有增量派生程序都实现了非常相似的功 阅读全文
摘要：
Single Clause Assumption without Activation Literals to Speed-up IC3 @inproceedings{DBLP:conf/fmcad/FroleyksB21, author = {Nils Froleyks and Armin Bie 阅读全文
2024年5月29日
摘要：
1. 文字、变元 变元和文字iteration: vars, lits vals: signed char * vals; // assignment [-max_var,max_var] //Internal数据成员，保存文字的赋值-同时其对应负文字的赋值也一并保存（更新）。 // 可以理解为va 阅读全文
2024年5月11日
摘要：
2024-5-11日听报告——相关资料留存 阅读全文
2024年5月7日
摘要：
复习《统计思维——程序员数学之概率统计》笔记 """ This file contains code for use with "Think Stats",by Allen B. Downey, available from greenteapress.com Copyright 2010 Alle 阅读全文