Algorithms & Logic