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: