@article{groupingnodeswithknownvaluedifferencesal, title = {Grouping Nodes With Known Value Differences: A Lossless UCT-based Abstraction Algorithm}, author = {Robin Schmöcker and Alexander Dockhorn and Bodo Rosenhahn}, year = {2025}, eprint = {2510.25388}, archivePrefix = {arXiv}, url = {https://arxiv.org/abs/2510.25388}, }