Nicolas Bitar

9
Documents

Publications

Publications

Contributions to the Domino Problem: Seeding, Recurrence and Satisfiability

Nicolás Bitar

41st International Symposium on Theoretical Aspects of Computer Science (STACS 2024), Mar 2024, Clermont-Ferrand, France. ⟨10.4230/LIPIcs.STACS.2024.17⟩

Communication dans un congrès hal-04395499v1

Domino Snake Problems on Groups

Nathalie Aubrun , Nicolas Bitar

Fundamentals of Computation Theory, Sep 2023, Trier, Germany. pp.46-59, ⟨10.1007/978-3-031-43587-4_4⟩

Communication dans un congrès hal-04284389v1