All publications

Overview

ASI algorithms connect descriptive and computable combinatorics, allowing arguments and graph-coloring results to transfer between the two settings.