B. Bünz, S. Seuken, and B. Lubin, “A Faster Core Constraint Generation Algorithm for Combinatorial Auctions”, AAAI, vol. 29, no. 1, Feb. 2015.