TY  - RPRT
TI  - Towards Fully Automatic Distributed Lower Bounds
AU  - Alkida Balliu
AU  - Sebastian Brandt
AU  - Fabian Kuhn
AU  - Dennis Olivetti
AU  - Joonatan Saarhelo
PY  - 2024
UR  - https://arxiv.org/abs/2410.20224
ID  - 2410.20224
ER  -