Liang, J. H. (2018). Machine Learning for SAT Solvers. Waterloo, ON, Canada. Retrieved from http://hdl.handle.net/10012/14207 (Original work published 2018)
Reference keyword: Machine learning
Gu, S. . (2022). XC: Exploring Quantitative Use Cases for Explanations in 3D Object Detection. Retrieved from http://hdl.handle.net/10012/17899 (Original work published 2022)