Date of Original Version

6-2007

Type

Book Chapter

Abstract or Description

In recent work binary decision diagrams (BDDs) were introduced as a technique for postoptimality analysis for integer programming. In this paper we show that much smaller BDDs can be used for the same analysis by employing cost bounding techniques in their construction.

DOI

10.1007/978-3-540-72397-4_7

Share

COinS
 

Published In

E. Loute and L. Wolsey, eds., Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR 2007), LNCS 4510, 84-98.