Communication dans un congrès, GALaC, Mathématiques, Théorie des groupes
Contributions to the Domino Problem: Seeding, Recurrence and Satisfiability
Nicolás Bitar. Contributions to the Domino Problem: Seeding, Recurrence and Satisfiability. 41st International Symposium on Theoretical Aspects of Computer Science (STACS 2024), Mar 2024, Clermont-Ferrand (FR), France. ⟨10.4230/LIPIcs.STACS.2024.17⟩. ⟨hal-04395499⟩
