This page shows all presentations of this author published in EasyChair Smart Slide.
Machine Learning-based Restart Policy for CDCL SAT Solvers
Jia Liang, Chanseok Oh, Minu Mathews, Ciza Thomas, Chunxiao Li and Vijay Ganesh