TY - RPRT TI - A lower bound on forcing numbers based on height functions AU - Fateh Aliyev AU - Nikita Gladkov PY - 2024 UR - https://arxiv.org/abs/2410.23621 ID - 2410.23621 ER -