Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/cp/DudekPV20
%A Dudek, Jeffrey M.
%A Phan, Vu H. N.
%A Vardi, Moshe Y.
%B CP
%D 2020
%E Simonis, Helmut
%I Springer
%K dblp
%P 211-230
%T DPMC: Weighted Model Counting by Dynamic Programming on Project-Join Trees.
%U http://dblp.uni-trier.de/db/conf/cp/cp2020.html#DudekPV20
%V 12333
%@ 978-3-030-58475-7
@inproceedings{conf/cp/DudekPV20,
added-at = {2020-09-08T00:00:00.000+0200},
author = {Dudek, Jeffrey M. and Phan, Vu H. N. and Vardi, Moshe Y.},
biburl = {https://www.bibsonomy.org/bibtex/2329a57f31735cf3ddd3a59fbd18c6872/dblp},
booktitle = {CP},
crossref = {conf/cp/2020},
editor = {Simonis, Helmut},
ee = {https://doi.org/10.1007/978-3-030-58475-7_13},
interhash = {31532dd1d90e2adbaf19f7361ec6f9cf},
intrahash = {329a57f31735cf3ddd3a59fbd18c6872},
isbn = {978-3-030-58475-7},
keywords = {dblp},
pages = {211-230},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2020-09-09T13:52:13.000+0200},
title = {DPMC: Weighted Model Counting by Dynamic Programming on Project-Join Trees.},
url = {http://dblp.uni-trier.de/db/conf/cp/cp2020.html#DudekPV20},
volume = 12333,
year = 2020
}