TY - RPRT TI - Integer Linear Programming Modeling of Addition Sequences With Additional Constraints for Evaluation of Power Terms AU - Muhammad Abbas AU - Oscar Gustafsson PY - 2023 UR - https://arxiv.org/abs/2306.15002 ID - 2306.15002 ER -