Minu Mathew

According to our database, Minu Mathew authored at least 1 paper in 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Machine Learning-Based Restart Policy for CDCL SAT Solvers.

Jia Hui Liang, Chanseok Oh, Minu Mathew, Ciza Thomas, Chunxiao Li, Vijay Ganesh

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2018, 2018