291 citations · 367 across the 2 of their papers we have counts for
2 papers
cs.LG2013★ 76 cited
Taming the Curse of Dimensionality: Discrete Integration by Hashing and Optimization
Stefano Ermon, Carla P. Gomes, Ashish Sabharwal +1
Integration is affected by the curse of dimensionality and quickly becomes intractable as the dimensionality of the problem grows. We propose a randomized algorithm that, with high…
cs.AI2011★ 291 cited
Towards Understanding and Harnessing the Potential of Clause Learning
P. Beame, H. Kautz, A. Sabharwal
Efficient implementations of DPLL with the addition of clause learning are the fastest complete Boolean satisfiability solvers and can handle many significant real-world problems,…