Minu Mathew

Publication Activity (10 Years)

Years Active: 2018-2018
Publications (10 Years): 1

Top Topics

Boolean Satisfiability

Top Venues

Publications

Jia Hui Liang, Chanseok Oh, Minu Mathew, Ciza Thomas, Chunxiao Li, Vijay Ganesh
Machine Learning-Based Restart Policy for CDCL SAT Solvers. SAT (2018)