806 citations · 2k across the 13 of their papers we have counts for
Showing cs.AIShow 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.AI2017★ 78 cited
Learning model-based planning from scratch
Razvan Pascanu, Yujia Li, Oriol Vinyals +7
Conventional wisdom holds that model-based planning is a powerful approach to sequential decision-making. It is often very challenging in practice, however, because while a model c…