arXiv 2004-07-16 EN Decomposition Based Search - A theoretical and experimental evaluation van Hoeve, W. J. · Milano, M.
