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