133 citations · 204 across the 12 of their papers we have counts for
1 paper · 1 filter
Akshay Agrawal, Robin Verschueren, Steven Diamond +1
We describe a modular rewriting system for translating optimization problems written in a domain-specific language to forms compatible with low-level solver interfaces. Translation…