随笔分类 (130)

• maxSAT(1)
• SAT求解器代码分析(28)
• SAT求解器新技术(34)
• SAT数据挖掘(1)
• SLS与CDCL信息交互(11)
• UIG-UIP(1)
• 程序编译(5)
• 概率编程(1)
• 基本概念(3)
• 集成电路(2)
• 具体技术--MUS(5)
• 具体技术--restart(2)
• 具体技术-trail saving(2)
• 具体技术-二值观察(2)
• 具体技术--决策变元选择策略(4)
• 课程讲解(2)
• 日常札记(11)
• 数据处理(3)
• 数据结构与算法(7)
• 形式化(2)
• 子句管理(3)
• 更多

随笔档案 (260)

• 2025年3月(1)
• 2025年2月(1)
• 2024年12月(3)
• 2024年11月(1)
• 2024年10月(2)
• 2024年9月(5)
• 2024年8月(1)
• 2024年7月(6)
• 2024年6月(6)
• 2024年5月(3)
• 2024年4月(5)
• 2024年3月(3)
• 2024年2月(2)
• 2024年1月(4)
• 2023年12月(2)
• 2023年11月(4)
• 2023年10月(2)
• 2023年9月(4)
• 2023年8月(2)
• 2023年7月(1)
• 2023年5月(9)
• 2023年4月(4)
• 2023年3月(1)
• 2023年2月(2)
• 2023年1月(2)
• 2022年11月(3)
• 2022年10月(3)
• 2022年9月(6)
• 2022年8月(1)
• 2022年7月(3)
• 2022年6月(3)
• 2022年5月(4)
• 2022年4月(1)
• 2022年3月(4)
• 2022年2月(1)
• 2021年12月(1)
• 2021年11月(12)
• 2021年10月(1)
• 2021年9月(4)
• 2021年8月(2)
• 2021年7月(3)
• 2021年5月(5)
• 2021年4月(1)
• 2021年3月(1)
• 2021年1月(3)
• 2020年12月(13)
• 2020年11月(2)
• 2020年10月(5)
• 2020年9月(3)
• 2020年8月(4)
• 2020年7月(17)
• 2020年6月(28)
• 2020年5月(7)
• 2020年4月(33)
• 2020年3月(10)
• 更多

SAT竞赛网站

• 通用SAT竞赛主界面网址

SAT知名学者

• Talks Armin Biere
• Michael Kaufmann && Stephan Kottler

专用工具soft

• CoPAn
• CNFgen formula generator and tools