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

Read full article

Similar

Enhancing Portrait Lighting with Machine Learning

Posted by Yun-Ta Tsai 1 and Rohit Pandey, Software Engineers, Google Research Professional portrait photographers are able to create com... (more…)

Using Machine Learning to Explore Neural Network Architecture

Posted by Quoc Le & Barret Zoph, Research Scientists, Google Brain team At Google, we have successfully applied deep learning models to ma... (more…)

The New York Time’s “The Daily” Podcast Is Getting a Machine Learning Feature

If you’re a fan of the New York Time’s “The Daily” podcast, then the HyperCatcher app is your new best friend. Every day you’ll find the latest episode of “The Daily” in HyperCatcher’s “Premium HyperCasts” section. (more…)

10 Free Books for Machine Learning and Data Science

What better way to enjoy this spring weather than with some free machine learning and data science ebooks? Right? Right? (more…)

Tackling Climate Change with Machine Learning

Climate change is one of the greatest challenges facing humanity, and we, as machine learning experts, may wonder how we can help. Here we describe how machine learning can be a powerful tool in reducing greenhouse gas emissions and helping society adapt ... (more…)

Latest News

Anyone can code with AI. But it might come with a hidden cost

Puru: A thread pool for JavaScript with Go-style concurrency primitives

New chip survives 1300°F (700°C) and could change AI forever