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.
Neural Information Processing Systems
Jan-21-2025, 19:36:10 GMT
- Technology: