Algorithmics & Logic