Solving Projected Model Counting by Utilizing Treewidth and its Limits

Fichte, Johannes Klaus; Hecher, Markus; Morak, Michael; Thier, Patrick; Woltran, Stefan

doi:10.1016/j.artint.2022.103810

by Johannes Klaus Fichte, Markus Hecher, Michael Morak, Patrick Thier, Stefan Woltran

Reference:

Solving Projected Model Counting by Utilizing Treewidth and its LimitsJohannes Klaus Fichte, Markus Hecher, Michael Morak, Patrick Thier, Stefan WoltranArtificial Intelligence, volume 314, pages 103810, 2023.

Bibtex Entry:

@string{ai="Artificial Intelligence"}
@article{DBLP:journals/ai/FichteHMTW23,
keywords = "reveal",
  author    = {Johannes Klaus Fichte and
               Markus Hecher and
               Michael Morak and
               Patrick Thier and
               Stefan Woltran},
  title     = {Solving Projected Model Counting by Utilizing Treewidth and its Limits},
  journal   = AI,
  volume    = {314},
  pages     = {103810},
  year      = {2023},
  url       = {10.1016/j.artint.2022.103810">https://doi.org/10.1016/j.artint.2022.103810},
  doi       = {10.1016/j.artint.2022.103810},
  timestamp = {Sun, 25 Dec 2022 14:03:36 +0100},
  biburl    = {https://dblp.org/rec/journals/ai/FichteHMTW23.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}