Lighthouse: a taxonomy-based solver selection tool.

Kanika Sood, Boyana Norris, Elizabeth R. Jessup

Browse the full OOPSLA paper archive.