Lighthouse: a taxonomy-based solver selection tool

Kanika Sood, Boyana Norris, Elizabeth R. Jessup. Lighthouse: a taxonomy-based solver selection tool. In Ali Jannesari, Siegfried Benkner, Xinghui Zhao, Ehsan Atoofian, Yukionri Sato, editors, Proceedings of the 2nd International Workshop on Software Engineering for Parallel Systems, SEPS@SPLASH 2015, Pittsburgh, PA, USA, October 27, 2015. pages 66-70, ACM, 2015. [doi]

@inproceedings{SoodNJ15,
  title = {Lighthouse: a taxonomy-based solver selection tool},
  author = {Kanika Sood and Boyana Norris and Elizabeth R. Jessup},
  year = {2015},
  doi = {10.1145/2837476.2837485},
  url = {http://doi.acm.org/10.1145/2837476.2837485},
  researchr = {https://researchr.org/publication/SoodNJ15},
  cites = {0},
  citedby = {0},
  pages = {66-70},
  booktitle = {Proceedings of the 2nd International Workshop on Software Engineering for Parallel Systems, SEPS@SPLASH 2015, Pittsburgh, PA, USA, October 27, 2015},
  editor = {Ali Jannesari and Siegfried Benkner and Xinghui Zhao and Ehsan Atoofian and Yukionri Sato},
  publisher = {ACM},
  isbn = {978-1-4503-3910-0},
}