Improving SAT-solving with Machine Learning

Published in ACM SIGCSE Technical Symposium on Computer Science Education (Student Research Competition), 2017