Communication dans un congrès, Communication dans un congrès, GALaC, Group Theory, Mathematics, 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⟩

Published on