最近的笔记

• TAOCP 4B & SAT Handbook 阅读

  2025年3月19日

• RoundingSAT 阅读笔记其二

  2025年3月16日

• 基数约束编码中文字顺序的重要性

  2025年3月15日

• 基数约束SAT的精确求解器

  2025年3月10日

• PBO 的局部搜索求解器系列

  2025年1月03日