Reviews: Learning Local Search Heuristics for Boolean Satisfiability

Neural Information Processing Systems 

The reviewers were positive about this paper based upon their initial read. The authors response addressed their concerns, so they were even more comfortable with a positive outcome after the author response. I encourage the authors to incorporate their responses to the reviewer concerns into any final version of the paper.