Predicting SAT Solver Performance on Heterogeneous Hardware
| Title | Predicting SAT Solver Performance on Heterogeneous Hardware |
|---|---|
| Author | |
| Year of Publication |
2015
|
| 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
|
| Download citation |