Contributions to the Domino Problem: Seeding, Recurrence and Satisfiability.

Nicols Bitar

Browse the full STACS paper archive.