Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - JOUR
ID - DBLP:journals/ai/FichteHMTW23
AU - Fichte, Johannes Klaus
AU - Hecher, Markus
AU - Morak, Michael
AU - Thier, Patrick
AU - Woltran, Stefan
TI - Solving Projected Model Counting by Utilizing Treewidth and its Limits.
JO - Artif. Intell.
VL - 314
SP - 103810
PY - 2023//
DO - 10.1016/J.ARTINT.2022.103810
UR - https://doi.org/10.1016/j.artint.2022.103810
ER -