这里收录了我论文的阅读笔记，主要和研究方向相关（当然也可能读一些和我方向没什么关系的文章），归档参考 📖论文笔记目录
约束求解
Cite
约束求解，正式的说法是约束满足问题（Constraint satisfaction problem），简称 CSP
这里阅读的 CSP 问题其实是一个子集，主要聚焦于 PB & SAT 问题
组合优化
Cite
组合优化（Combinatorial optimization）是数学优化的一个子领域，在应用数学和理论计算机科学的领域中，组合优化是在一个有限的对象集中找出最优对象的一类问题。在很多组合优化的问题中，穷举搜索／枚举法是不可行的。组合优化的问题的特征是可行解的集是离散或者可以简化到离散的，并且目标是找到最优解。
这里主要聚焦于图论中的各类组合优化问题，以及 SAT 问题的优化版本 Max-SAT , PB 的优化版本 PBO