291 citations · 310 across the 4 of their papers we have counts for
Showing cs.AIShow all
2 papers · 1 filter
cs.AI2019
Smoothing Structured Decomposable Circuits
Andy Shih, Guy Van den Broeck, Paul Beame +1
We study the task of smoothing a circuit, i.e., ensuring that all children of a plus-gate mention the same variables. Circuits serve as the building blocks of state-of-the-art infe…
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,…