Fan, G., Müller, M., & Holte, R. (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