1 citations · 2 across the 7 of their papers we have counts for
1 paper · 1 filter
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,…