Constraint Programming Generation of Optimal Balanced Incomplete Block Design
摘要
Balanced Incomplete Block Designs are of use in the layout of data blocks in Redundant Arrays of Independent Disks (RAID) and in drug trials. In that context, BIBDs that minimize the range of block sums are often sought. In this paper, we present a new Constraint Programming model to achieve these optimal designs. We show that the new model is competitive with previous BIBD-generating algorithms and introduce a new symmetry breaking constraint.