Fan, Gaojian, Martin Müller, and Robert Holte. 2014. “Non-Linear Merging Strategies for Merge-and-Shrink Based on Variable Interactions”. Proceedings of the International Symposium on Combinatorial Search 5 (1):53-61. https://doi.org/10.1609/socs.v5i1.18330.