Automated Reasoning
84 papers
Papers per year
1
1
2
2
2
4
3
1
1
6
4
4
3
7
8
35
'15
'20
'25
Papers
Unsupervised Learning by Program Synthesis
NeurIPS 2015
Learning to Discover Efficient Mathematical Identities
NeurIPS 2014
New Rules for Domain Independent Lifted MAP Inference
NeurIPS 2014
On the Complexity and Approximation of Binary Evidence in Lifted Inference
NeurIPS 2013
Recurrent networks of coupled Winner-Take-All oscillators for solving constraint satisfaction problems
NeurIPS 2013
Action-Model Based Multi-agent Plan Recognition
NeurIPS 2012
Perceptron Learning of SAT
NeurIPS 2012
On the Completeness of First-Order Knowledge Compilation for Lifted Probabilistic Inference
NeurIPS 2011
CPR for CSPs: A Probabilistic Relaxation of Constraint Propagation
NeurIPS 2007