ECAI 2020: New randomized strategies for the color coding algorithm

Published --