The goal of this software is to demonstrate the effect of caching inside a generic decision diagram-based branch-and-bound solver. We started from a version of the DDO solver, written by xgillard and implemented new cache-based pruning techniques in src/mdd/with_barrier.rs and src/solver/barrier.rs.
No takes yet. Share an insight, caveat, or question.
Coppé et al. (2024) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: