Evolution of Algorithm Portfolio for Solving Strategies

Alice Tarzariol. Evolution of Algorithm Portfolio for Solving Strategies. In Alberto Casagrande, Eugenio G. Omodeo, editors, Proceedings of the 34th Italian Conference on Computational Logic, Trieste, Italy, June 19-21, 2019. Volume 2396 of CEUR Workshop Proceedings, pages 327-341, CEUR-WS.org, 2019. [doi]

Abstract

Abstract is missing.