Inproceedings,
Symmetric Weighted First-Order Model Counting.
P. Beame, G. den Broeck, E. Gribkoff, and D. Suciu.PODS, page 313-328. ACM, (2015)
Meta data
- BibTeX key
- conf/pods/BeameBGS15
- entry type
- inproceedings
- booktitle
- PODS
- year
- 2015
- pages
- 313-328
- publisher
- ACM
- crossref
- conf/pods/2015
- ee
- https://doi.org/10.1145/2745754.2745760
- isbn
- 978-1-4503-2757-2
- url
- http://dblp.uni-trier.de/db/conf/pods/pods2015.html#BeameBGS15
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/pods/BeameBGS15
%A Beame, Paul
%A den Broeck, Guy Van
%A Gribkoff, Eric
%A Suciu, Dan
%B PODS
%D 2015
%E Milo, Tova
%E Calvanese, Diego
%I ACM
%K dblp
%P 313-328
%T Symmetric Weighted First-Order Model Counting.
%U http://dblp.uni-trier.de/db/conf/pods/pods2015.html#BeameBGS15
%@ 978-1-4503-2757-2
@inproceedings{conf/pods/BeameBGS15,
added-at = {2024-02-05T00:00:00.000+0100},
author = {Beame, Paul and den Broeck, Guy Van and Gribkoff, Eric and Suciu, Dan},
biburl = {https://www.bibsonomy.org/bibtex/25371373fcaf3a74ac77818b94e484217/dblp},
booktitle = {PODS},
crossref = {conf/pods/2015},
editor = {Milo, Tova and Calvanese, Diego},
ee = {https://doi.org/10.1145/2745754.2745760},
interhash = {dbe45a63a164c0d902004c9457ed9f5c},
intrahash = {5371373fcaf3a74ac77818b94e484217},
isbn = {978-1-4503-2757-2},
keywords = {dblp},
pages = {313-328},
publisher = {ACM},
timestamp = {2024-04-10T07:56:28.000+0200},
title = {Symmetric Weighted First-Order Model Counting.},
url = {http://dblp.uni-trier.de/db/conf/pods/pods2015.html#BeameBGS15},
year = 2015
}