Picture for Paul Beame

Paul Beame

Smoothing Structured Decomposable Circuits

Add code
Jun 01, 2019
Figure 1 for Smoothing Structured Decomposable Circuits
Figure 2 for Smoothing Structured Decomposable Circuits
Figure 3 for Smoothing Structured Decomposable Circuits
Figure 4 for Smoothing Structured Decomposable Circuits
Viaarxiv icon

Time-Space Tradeoffs for Learning from Small Test Spaces: Learning Low Degree Polynomial Functions

Add code
Aug 08, 2017
Viaarxiv icon

New Limits for Knowledge Compilation and Applications to Exact Model Counting

Add code
Aug 19, 2015
Figure 1 for New Limits for Knowledge Compilation and Applications to Exact Model Counting
Figure 2 for New Limits for Knowledge Compilation and Applications to Exact Model Counting
Figure 3 for New Limits for Knowledge Compilation and Applications to Exact Model Counting
Viaarxiv icon

Symmetric Weighted First-Order Model Counting

Add code
Jun 01, 2015
Figure 1 for Symmetric Weighted First-Order Model Counting
Figure 2 for Symmetric Weighted First-Order Model Counting
Figure 3 for Symmetric Weighted First-Order Model Counting
Figure 4 for Symmetric Weighted First-Order Model Counting
Viaarxiv icon

Lower Bounds for Exact Model Counting and Applications in Probabilistic Databases

Add code
Sep 26, 2013
Figure 1 for Lower Bounds for Exact Model Counting and Applications in Probabilistic Databases
Figure 2 for Lower Bounds for Exact Model Counting and Applications in Probabilistic Databases
Figure 3 for Lower Bounds for Exact Model Counting and Applications in Probabilistic Databases
Figure 4 for Lower Bounds for Exact Model Counting and Applications in Probabilistic Databases
Viaarxiv icon