Symmetric Weighted First-Order Model Counting - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Paul Beame, Guy Van den Broeck, Eric Gribkoff, Dan Suciu. Symmetric Weighted First-Order Model Counting. In Tova Milo, Diego Calvanese, editors, Proceedings of the 34th ACM Symposium on Principles of Database Systems, PODS 2015, Melbourne, Victoria, Australia, May 31 - June 4, 2015. pages 313-328, ACM, 2015. [doi]

This author has not been identified. Look up 'Paul Beame' in GoogleThis author has not been identified. Look up 'Guy Van den Broeck' in GoogleThis author has not been identified. Look up 'Eric Gribkoff' in GoogleThis author has not been identified. Look up 'Dan Suciu' in Google

runs on WebDSL