collaborators

1 paper

cs.PL2025

Optimizing Optimizations: Case Study on Detecting Specific Types of Mathematical Optimization Constraints with E-Graphs in JijModeling

Hiromi Ishii, Taro Shimizu, Toshiki Teramura

In solving mathematical optimization problems efficiently, it is crucial to make use of information about specific types of constraints, such as the one-hot or Special-Ordered Set…