Reinforcement learning improves quantum annealing for solving SAT problems | Dark Hacker News