勉強のページ
チュートリアル
- SAT solving: YouTube
- constraint programming: YouTube
- mixed integer programming: BIRS
- proof complexity (with connections to combinatorial solving): YouTube
- QBF solving: YouTube
- SMT solving: YouTube
- modelling and encodings: YouTube
- proof logging: YouTube (and other videos at Jakob Nordström's site)
Misc
- graph coloring
- Benchmarks for Optimization Software by Hans Mittelmann
- My Constraint Programming Blog
- Constraint Programming Solvers
- Constraint.org/en/tools/
BBB
- XXX
- YYY
- ZZZ
YYY
- XXX
- YYY
- ZZZ