@misc{indiciaed8580772e68c, title = {The multiplicative complexity of interval checking}, author = {Thomas Häner and Mathias Soeken}, year = {2022}, url = {https://arxiv.org/abs/2201.10200}, note = {Source identifier: 2201.10200} }