Steve Paul

Home

❯

科研

科研

2026年5月26日1分钟阅读

科研笔记,以防忘记。

此文件夹下有3条笔记。

  • 2025年10月21日

    《逻辑公式的可满足性判定——方法、工具及应用》阅读笔记

    • 2025年10月02日

      用LLM优化SAT求解器

      • llm
      • sat
    • 2025年7月31日

      车床加工中运筹学的运用:总结

      • 车床加工
      • 运筹学

    Created with Quartz v5.0.0 © 2026

    • GitHub
    • Discord Community