Jakob Nordström

Speaker

• Combinatorial solving with provably correct results

  FA925 — Combinatorial Optimization and Graph Theory 5
  26 Jul 2024 08:30 — Parallel Session

Chair

• FB919 — Mixed Integer Linear Programming 5

  26 Jul 2024 14:00 — Parallel Session

Co-author

• Certificates of Correctness for Presolving Binary Programs

  WC266 — Certified Optimization
  24 Jul 2024 16:20 — Parallel Session