NeuroSAT: Learning a SAT Solver from Single-Bit Supervision

Article URL: https://arxiv.org/abs/1802.03685

Comments URL: https://news.ycombinator.com/item?id=16363980

Points: 6

# Comments: 0

from Hacker News: Front Page http://ift.tt/2BTXAhZ
via