Запис о доказима методе
Policy Scenario Integer Programming
Policy Scenario Integer Programming (PSIP) solves an integer programming model — where some or all decision variables must take whole-number values — separately under each of several distinct policy scenarios, then compares objective values, feasibility, and solution structures to identify which policy environment leads to the best discrete allocation or assignment outcome.
Изворни запис
Цитирани радови су копирани дословно из изворног записа методе. Из њих се не изводи верификација на нивоу тврдње.
Policy Scenario Integer Programming — Discrete Optimization Across Policy Alternatives
Таксономски запис методе · process-pipeline / simulation
- Birge, J. R., & Louveaux, F. (2011). Introduction to Stochastic Programming (2nd ed.). Springer. · ISBN 9781461402367
- Williams, H. P. (2013). Model Building in Mathematical Programming (5th ed.). Wiley. · ISBN 9781118443330
Куроване тврдње
Тврдње су сачуване у регистру доказа, свака са својом проценом.
Још увек нема курованих тврдњи
Овај приказ не измишља процену тврдње када регистар нема ниједну.
Сродне методе
Генерисано из графа метода и приказано као машински предложене везе — не изводи се тврдња доказа.