The top documents tagged [solvers forcompeting]
Sc2014 proceedings
185 views