Machine Learning Methods in Solving the Boolean Satisfiability Problem

This paper reviews the recent literature on solving the Boolean
satisfiability problem (SAT), an archetypal NP-complete problem, with the help
of machine learning techniques. Despite the great success of modern SAT solvers
to solve large industrial instan… Read more

Similar

Using Machine Learning to Detect Malicious URLs

With the growth of Machine Learning in the past few years, many tasks are being done with the help of machine learning algorithms.Unfortunately or fortunately, there has been little work done on machine learning and cyber security. So I thought of present...

Read more »

A Personal PhD in Machine Learning

If you'd like to get updates on how my progress goes, feel free to subscribe here or follow me on twitter! In 2020 and beyond, I plan to dive more deeply into independent research projects in Machine Learning and Theoretical Neuroscience. It has been on m... (more…)

Read more »