Glenn Christopher Daves

Publication Activity (10 Years)

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

Top Topics

Constraint Solvers

Machine Learning

Explanation Based Learning

Constraint Satisfaction

Top Venues

Publications

Christopher W. Brown, Glenn Christopher Daves
Applying Machine Learning to Heuristics for Real Polynomial Constraint Solving. ICMS (2020)