Back to Results
First PageMeta Content
Constraint programming / Automated theorem proving / Theoretical computer science / Mathematics / Mathematical logic / Markov logic network / WalkSAT / Graph partition / Nibbles / Local search / Resolution / Alchemy


Tuffy: Scaling up Statistical Inference in Markov Logic Networks using an RDBMS ∗ Feng Niu
Add to Reading List

Document Date: 2013-07-22 00:25:35


Open Document

File Size: 1,36 MB

Share Result on Facebook