Comborial Optimization with Deep Learning

SAT

  • Can Q-Learning with Graph Networks Learn a Generalizable Branching Heuristic for a SAT Solver? NIPS 20
  • Learning To Solve Circuit-SAT: An Unsupervised Differentiable Approach, ICLR 19
  • SATNet: Bridging deep learning and logical reasoning using a differentiable satisfiability solver, PMLR 19
  • Learning local search heuristics for boolean satisfiability, NIPS 19
  • G2SAT: Learning to Generate SAT Formulas, NIPS 19
  • Combinatorial optimization with graph convolutional networks and guided tree search, NIPS 18
  • Graph colouring meets deep learning: Effective graph neural network models for combinatorial problems, ICTAI 19
  • Graph Neural Networks Meet Neural-Symbolic Computing: A Survey and Perspective
  • Improving SAT Solver Heuristics with Graph Networks and Reinforcement Learning