| No. |
Title |
Author |
Year |
| 1 |
Beedroids: How Luminous Autonomous Swarms of UAVs Can Save the World? |
Bramas, Quentin et al. |
2022 |
| 2 |
Local Search with Weighting Schemes for the CG:SHOP 2022 Competition (CG Challenge) |
Fontan, Florian et al. |
2022 |
| 3 |
Automatic Generation of Declarative Models For Differential Cryptanalysis |
Libralesso, Luc et al. |
2021 |
| 4 |
Proof of Behavior (Short Paper) |
Grollemund, Paul-Marie et al. |
2021 |
| 5 |
Shadoks Approach to Low-Makespan Coordinated Motion Planning (CG Challenge) |
Crombez, Loïc et al. |
2021 |
| 6 |
Card-Based ZKP Protocols for Takuzu and Juosan |
Miyahara, Daiki et al. |
2020 |
| 7 |
Finding Water on Poleless Using Melomaniac Myopic Chameleon Robots |
Bramas, Quentin et al. |
2020 |
| 8 |
A Cryptographer's Conspiracy Santa |
Bultel, Xavier et al. |
2018 |
| 9 |
Physical Zero-Knowledge Proofs for Akari, Takuzu, Kakuro and KenKen |
Bultel, Xavier et al. |
2016 |
