Our extensive industrial collaboration enables us to do research with immediate application to software development practices in realistic settings.
Exponential Recency Weighted Average Branching Heuristic for SAT Solvers
| Title | Exponential Recency Weighted Average Branching Heuristic for SAT Solvers |
| Publication Type | Conference Proceedings |
| Year of Publication | 2016 |
| Authors | Liang, J., V. Ganesh, P. Poupart, and K. Czarnecki |
| Conference Name | AAAI 2016 |
| Series Title | Proceedings of the 30th Conference on Artificial Intelligence (AAAI 2016) |
| Date Published | 02/2016 |
| Conference Location | Phoenix, Arizona |
| Refereed Designation | Refereed |
