随笔 - 260  文章 - 0  评论 - 0  阅读 - 52987 
11 2023 档案
overleaf插⼊文献-含中⽂⽂献
摘要：将overleaf设置为能编译中文的环境（实现中英文混排） 用户可以通过选择使用宏包\usepackage[utf8]{ctex}在XeLaTeX的编译方式下设置中文，从而在Overleaf中编写包含中文的文档。具体分以下两步： 1. 创建或者打开一个文档，点击左上角的Menu按钮，，在Menu弹出 阅读全文
posted @ 2023-11-25 23:41 海阔凭鱼跃越 编辑
早期文献给出的SAT术语
摘要：SAT问题的通俗表述 Given a propositional formula, determining whether there exists a truth assignment for its propositional variables such that the formula ev 阅读全文
posted @ 2023-11-18 13:33 海阔凭鱼跃越 编辑
二元子句归结的c++代码分析
摘要：1 // Try further learnt clause minimization by means of binary clause resolution. 2 bool Solver::binResMinimize(vec<Lit>& out_learnt) 3 { 4 // Prepara 阅读全文
posted @ 2023-11-11 14:50 海阔凭鱼跃越 编辑
使用工具CoPAn(冲突模式分析)深入分析冲突产生及所学从句
摘要：深入学习请参见原始网址： https://uni-tuebingen.de/fakultaeten/mathematisch-naturwissenschaftliche-fakultaet/fachbereiche/informatik/lehrstuehle/algorithmik/resear 阅读全文
posted @ 2023-11-02 16:20 海阔凭鱼跃越 编辑

点击右上角即可分享
微信分享提示