Approximate Weighted First-Order Model Counting: Exploiting Fast Approximate Model Counters and Symmetry.
T. van Bremen, and O. Kuzelka. IJCAI, page 4252-4258. ijcai.org, (2020)Scheduled for July 2020, Yokohama, Japan, postponed due to the Corona pandemic..
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/ijcai/BremenK20
%A van Bremen, Timothy
%A Kuzelka, Ondrej
%B IJCAI
%D 2020
%E Bessiere, Christian
%I ijcai.org
%K dblp
%P 4252-4258
%T Approximate Weighted First-Order Model Counting: Exploiting Fast Approximate Model Counters and Symmetry.
%U http://dblp.uni-trier.de/db/conf/ijcai/ijcai2020.html#BremenK20
@inproceedings{conf/ijcai/BremenK20,
added-at = {2020-07-13T00:00:00.000+0200},
author = {van Bremen, Timothy and Kuzelka, Ondrej},
biburl = {https://www.bibsonomy.org/bibtex/2a580949b328b5708a35994ef24030079/dblp},
booktitle = {IJCAI},
crossref = {conf/ijcai/2020},
editor = {Bessiere, Christian},
ee = {https://doi.org/10.24963/ijcai.2020/587},
interhash = {d804b0f2ea08c871289368f507202fe9},
intrahash = {a580949b328b5708a35994ef24030079},
keywords = {dblp},
note = {Scheduled for July 2020, Yokohama, Japan, postponed due to the Corona pandemic.},
pages = {4252-4258},
publisher = {ijcai.org},
timestamp = {2020-07-24T01:12:27.000+0200},
title = {Approximate Weighted First-Order Model Counting: Exploiting Fast Approximate Model Counters and Symmetry.},
url = {http://dblp.uni-trier.de/db/conf/ijcai/ijcai2020.html#BremenK20},
year = 2020
}