Login / Signup

A Multi-Stage Proof Logging Framework to Certify the Correctness of CP Solvers.

Maarten FlippoKonstantin SidorovImko MarijnissenJeff SmitsEmir Demirovic
Published in: CP (2024)
Keyphrases
  • multistage
  • dynamic programming
  • stochastic programming
  • production system
  • lot sizing
  • objective function
  • probabilistic model
  • stochastic optimization