TY - RPRT TI - Efficient Algorithms for Injectivity and Bounded Surjectivity of One-dimensional Nonlinear Cellular Automata AU - Chen Wang AU - Junchi Ma AU - Defu Lin AU - Weilin Chen AU - Chao Wang PY - 2024 UR - https://arxiv.org/abs/2309.03073 ID - 2309.03073 ER -