42 citations · 89 across the 8 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.AI2019
Prioritized Unit Propagation with Periodic Resetting is (Almost) All You Need for Random SAT Solving
Xujie Si, Yujia Li, Vinod Nair +1
We propose prioritized unit propagation with periodic resetting, which is a simple but surprisingly effective algorithm for solving random SAT instances that are meant to be hard.…
cs.LG2019★ 36 cited
Reinforced Genetic Algorithm Learning for Optimizing Computation Graphs
Aditya Paliwal, Felix Gimeno, Vinod Nair +4
We present a deep reinforcement learning approach to minimizing the execution cost of neural network computation graphs in an optimizing compiler. Unlike earlier learning-based wor…