Beame, Paul

9 publications

NeurIPS 2019 Smoothing Structured Decomposable Circuits Andy Shih, Guy Van den Broeck, Paul Beame, Antoine Amarilli

COLT 2018 Time-Space Tradeoffs for Learning Finite Functions from Random Evaluations, with Applications to Polynomials Paul Beame, Shayan Oveis Gharan, Xin Yang

UAI 2015 New Limits for Knowledge Compilation and Applications to Exact Model Counting Paul Beame, Vincent Liew

AAAI 2014 Non-Restarting SAT Solvers with Simple Preprocessing Can Efficiently Simulate Resolution Paul Beame, Ashish Sabharwal

UAI 2013 Lower Bounds for Exact Model Counting and Applications in Probabilistic Databases Paul Beame, Jerry Li, Sudeepa Roy, Dan Suciu

IJCAI 2007 A Dynamic Approach for MPE and Weighted MAX-SAT Tian Sang, Paul Beame, Henry A. Kautz

AAAI 2005 Performing Bayesian Inference by Weighted Model Counting Tian Sang, Paul Beame, Henry A. Kautz

JAIR 2004 Towards Understanding and Harnessing the Potential of Clause Learning Paul Beame, Henry A. Kautz, Ashish Sabharwal

IJCAI 2003 Understanding the Power of Clause Learning Paul Beame, Henry A. Kautz, Ashish Sabharwal