Inproceedings,
From Weighted to Unweighted Model Counting.
S. Chakraborty, D. Fried, K. Meel, and M. Vardi.IJCAI, page 689-695. AAAI Press, (2015)
Meta data
- BibTeX key
- conf/ijcai/ChakrabortyFMV15
- entry type
- inproceedings
- booktitle
- IJCAI
- year
- 2015
- pages
- 689-695
- publisher
- AAAI Press
- crossref
- conf/ijcai/2015
- ee
- http://ijcai.org/Abstract/15/103
- isbn
- 978-1-57735-738-4
- url
- http://dblp.uni-trier.de/db/conf/ijcai/ijcai2015.html#ChakrabortyFMV15
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/ijcai/ChakrabortyFMV15
%A Chakraborty, Supratik
%A Fried, Dror
%A Meel, Kuldeep S.
%A Vardi, Moshe Y.
%B IJCAI
%D 2015
%E Yang, Qiang
%E Wooldridge, Michael J.
%I AAAI Press
%K dblp
%P 689-695
%T From Weighted to Unweighted Model Counting.
%U http://dblp.uni-trier.de/db/conf/ijcai/ijcai2015.html#ChakrabortyFMV15
%@ 978-1-57735-738-4
@inproceedings{conf/ijcai/ChakrabortyFMV15,
added-at = {2019-08-20T00:00:00.000+0200},
author = {Chakraborty, Supratik and Fried, Dror and Meel, Kuldeep S. and Vardi, Moshe Y.},
biburl = {https://www.bibsonomy.org/bibtex/2510cdbb304376d88868ae8acfe9b0918/dblp},
booktitle = {IJCAI},
crossref = {conf/ijcai/2015},
editor = {Yang, Qiang and Wooldridge, Michael J.},
ee = {http://ijcai.org/Abstract/15/103},
interhash = {bed9eae1f55a6c78b7201456e255eb7c},
intrahash = {510cdbb304376d88868ae8acfe9b0918},
isbn = {978-1-57735-738-4},
keywords = {dblp},
pages = {689-695},
publisher = {AAAI Press},
timestamp = {2019-08-21T11:54:26.000+0200},
title = {From Weighted to Unweighted Model Counting.},
url = {http://dblp.uni-trier.de/db/conf/ijcai/ijcai2015.html#ChakrabortyFMV15},
year = 2015
}