Meta data
- BibTeX key
- journals/japll/KimmigBR17
- entry type
- article
- year
- 2017
- journal
- J. Appl. Log.
- pages
- 46-62
- volume
- 22
- ee
- https://doi.org/10.1016/j.jal.2016.11.031
- url
- http://dblp.uni-trier.de/db/journals/japll/japll22.html#KimmigBR17
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Journal Article
%1 journals/japll/KimmigBR17
%A Kimmig, Angelika
%A den Broeck, Guy Van
%A Raedt, Luc De
%D 2017
%J J. Appl. Log.
%K
%P 46-62
%T Algebraic model counting.
%U http://dblp.uni-trier.de/db/journals/japll/japll22.html#KimmigBR17
%V 22
@article{journals/japll/KimmigBR17,
added-at = {2023-12-13T05:45:22.000+0100},
author = {Kimmig, Angelika and den Broeck, Guy Van and Raedt, Luc De},
biburl = {https://www.bibsonomy.org/bibtex/2cbdf0fa74d7f0cc4ae99ee6133aecee5/admin},
ee = {https://doi.org/10.1016/j.jal.2016.11.031},
interhash = {a634856983086dedbdc1716cfb6ef24c},
intrahash = {cbdf0fa74d7f0cc4ae99ee6133aecee5},
journal = {J. Appl. Log.},
keywords = {},
pages = {46-62},
timestamp = {2023-12-13T05:45:22.000+0100},
title = {Algebraic model counting.},
url = {http://dblp.uni-trier.de/db/journals/japll/japll22.html#KimmigBR17},
volume = 22,
year = 2017
}