An industrial case study showing that e-graph based term rewriting can detect one-hot and SOS1 optimization constraints modulo algebraic congruence, leading to significant solver speedups.
25, 2025 from https://jij-inc.github.i o/JijModeling-Tutorials/en/introduction.html
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.PL 1years
2025 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
Optimizing Optimizations: Case Study on Detecting Specific Types of Mathematical Optimization Constraints with E-Graphs in JijModeling
An industrial case study showing that e-graph based term rewriting can detect one-hot and SOS1 optimization constraints modulo algebraic congruence, leading to significant solver speedups.