Looking for motivated students (undergrads and grads) interested in working on embedded software and systems research. Mail Sebastian Fischmeister for further information.
Title | Predicting SAT Solver Performance on Heterogeneous Hardware |
Publication Type | Conference Paper |
Year of Publication | 2015 |
Authors | Newsham, Z., VI. Ganesh, and S. Fischmeister |
Conference Name | Proceedings of the Workshop on the Pragmatics of SAT at the International Conference on Theory and Applications of Satisfiability Testing (SAT) |
Conference Location | Austin, USA |
Refereed Designation | Refereed |
Related files: