Dossier de preuve de méthode

Integer Programming

Integer programming (IP), also called mixed-integer programming (MIP) when only some variables are restricted to whole numbers, is a branch of mathematical optimisation in which some or all decision variables must take integer or binary values. Building on linear programming, it was formalised through Ralph Gomory's cutting-plane method (1958) and the Land-and-Doig branch-and-bound algorithm (1960), and it has since become the standard exact framework for scheduling, assignment, routing, and resource-allocation problems.

Sources recorded, not reviewed

Dossier source

Citations copiées telles quelles du dossier source de la méthode. Aucune vérification au niveau de la revendication n'en est déduite.

Integer Programming (IP / Mixed-Integer Programming)

Dossier de méthode taxonomique · process-pipeline / optimization

Wolsey, L.A. (1998). Integer Programming. Wiley. · ISBN 9780471283669
Nemhauser, G.L. & Wolsey, L.A. (1988). Integer and Combinatorial Optimization. Wiley. · ISBN 9780471359432

Ouvrir la méthode complète

Revendications organisées

Revendications enregistrées dans le registre de preuves, chacune avec sa propre évaluation.

Pas encore de revendications organisées

Cette vue n'invente pas d'évaluation de revendication lorsque le registre n'en contient aucune.

Méthodes apparentées

Généré à partir du graphe de méthodes et présenté comme des relations suggérées par la machine — aucune revendication de preuve n'est déduite.

Same method familyConstraint Programmingmachine-suggested · Relational suggestion, not evidence.Same method familyDynamic Programmingmachine-suggested · Relational suggestion, not evidence.See alsoGOAL-PROGRAMMINGmachine-suggested · Relational suggestion, not evidence.Same method familyLinear Programmingmachine-suggested · Relational suggestion, not evidence.