D. Pulatov and L. Kotthoff, “Opening the Black Box: Automatically Characterizing Software for Algorithm Selection (Student Abstract)”, AAAI, vol. 34, no. 10, pp. 13899-13900, Apr. 2020.