Nicolas Bitar

8
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 (FR), France. ⟨10.4230/LIPIcs.STACS.2024.17⟩
Communication dans un congrès hal-04395499 v1

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-04284389 v1