@inproceedings{65,
  author = {Zack Newsham and VIjay Ganesh and Sebastian Fischmeister},
  title = {Predicting SAT Solver Performance on Heterogeneous Hardware},
  year = {2015},
  journal = {Proceedings of the Workshop on the Pragmatics of SAT at the International Conference on Theory and Applications of Satisfiability Testing (SAT)},
  address = {Austin, USA},
}