99 citations · 174 across the 12 of their papers we have counts for
1 paper · 2 filters
Hossein Hojjat, Philipp Rümmer
This paper describes an ongoing effort to develop an optimizing version of the Eldarica Horn solver. The work starts from the observation that many kinds of optimization problems,…