Repository navigation

[BP 3] Objective propagation - #2129

Draft

nguidotti wants to merge 5 commits into

implied-boundsfrom

objective-propagation

Draft

[BP 3] Objective propagation#2129
nguidotti wants to merge 5 commits into
implied-boundsfrom
objective-propagation

Commits on Oct 15, 2026
- treat infeasible and cutoff nodes in the same way and set the node lower bound to the global upper bound.
  nguidotti
  committed
  3373f3c
- correctly set the node lower bound in determinism mode
  nguidotti
  committed
  6bc53ee
Commits on Oct 23, 2026
- implemented objective propagation
  nguidotti
  committed
  3b04b8f
- only apply objective propagation to the best-first search
  nguidotti
  committed
  a3f8fb4
- Merge branch 'infeasible-node' into objective-propagation
  nguidotti
  committed
  1301660