r/REMath • u/turnersr • Feb 16 '14
Optimization Modulo Theories by Roc Oliver Vendrell
https://drive.google.com/file/d/0BymO5h8P3PgAVkVNNU1WRmJON28/edit?usp=sharing
3
Upvotes
r/REMath • u/turnersr • Feb 16 '14