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