@conference { , title = {Consistency check for the bin packing constraint revisited}, booktitle = {CPAIOR 2010}, volume = {6140/2010}, year = {2010}, month = {14/06/2010}, pages = {117-122}, publisher = {Springer Berlin / Heidelberg}, organization = {Springer Berlin / Heidelberg}, edition = {Springer}, address = {Bologna}, abstract = {In addition to a filtering algorithm, the Pack constraint for bin packing introduced by Shaw [Shaw04] uses a failure detection algorithm. This test is based on a reduction of the partial solution to a standard bin packing problem and the computation of a bin packing lower bound on the reduced problem. We propose two new reduction algorithms and prove that one of them theoretically dominates the others. Experimental results show that a combination of our reductions improves the quality of the failure detection.}, keywords = {bin packing, constraint programming, reduction}, isbn = {978-3-642-13519-4}, author = {Julien Dupuis and Pierre Schaus and Yves Deville} }