Skip to content

Conversation

@nguidotti
Copy link
Contributor

This PR implements reliability branching (Section 5.7 from [1]). This also fixes the uninitialized pseudocost values at the beginning of the algorithm.

Reference

[1] T. Achterberg, “Constraint Integer Programming,” PhD, Technischen Universität Berlin, Berlin, 2007. doi: 10.14279/depositonce-1634.

Checklist

  • I am familiar with the Contributing Guidelines.
  • Testing
    • New or existing tests cover these changes
    • Added tests
    • Created an issue to follow-up
    • NA
  • Documentation
    • The documentation is up to date with these changes
    • Added new documentation
    • NA

nguidotti and others added 30 commits December 12, 2025 10:22
…iteration and node limit to the diving threads.
@copy-pr-bot
Copy link

copy-pr-bot bot commented Jan 13, 2026

Auto-sync is disabled for draft pull requests in this repository. Workflows must be run manually.

Contributors can view more details about this message here.

@nguidotti nguidotti self-assigned this Jan 13, 2026
@nguidotti nguidotti added non-breaking Introduces a non-breaking change improvement Improves an existing functionality mip labels Jan 13, 2026
@nguidotti nguidotti changed the title Reliability Branching [WIP] Reliability Branching Jan 13, 2026
@nguidotti nguidotti added this to the 26.02 milestone Jan 13, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

improvement Improves an existing functionality mip non-breaking Introduces a non-breaking change

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants