468 citations · 768 across the 16 of their papers we have counts for
1 paper · 2 filters
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…