Lighthouse: an automated solver selection tool.

Pate Motter, Kanika Sood, Elizabeth R. Jessup, Boyana Norris

Browse the full SC paper archive.