@misc{indiciaea0fe2f49becc,
  title = {Optimizing Optimizations: Case Study on Detecting Specific Types of Mathematical Optimization Constraints with E-Graphs in JijModeling},
  author = {Hiromi Ishii and Taro Shimizu and Toshiki Teramura},
  year = {2025},
  url = {https://arxiv.org/abs/2506.06495},
  note = {Source identifier: 2506.06495}
}