勉強のページ

チュートリアル

• 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
  • Graph Coloring Instances
  • DIMACS Graphs: Benchmark Instances and Best Upper Bounds
• 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