No authors of 1702.02385 can endorse.
On Optimization Modulo Theories, MaxSMT and Sorting Networks
Patrick Trentin: | Is registered as an author of this paper. Not currently an endorser. (why?) |
Roberto Sebastiani is not registered as an owner of this paper. (why?)