Optimizing Optimizations: Case Study on Detecting Specific Types of Mathematical Optimization Constraints with E-Graphs in JijModeling. - Hiromi Ishii; Taro Shimizu; Toshiki Teramura (CoRR, 2025)