CNNSAT: FAST, ACCURATE BOOLEAN SATISFIA-
Neural Combinatorial Optimization with Reinforcement Learning