@会议记录{paulusma_et_al:LIPIcs.STACS.2013.55,author={Paulusma、Daniel和Slivovsky、Friedrich和Szeider、Stefan},title={{有界模树宽CNF公式的模型计数}},booktitle={第30届计算机科学理论方面国际研讨会(STACS 2013)},页数={55--66},series={Leibniz国际信息学论文集(LIPIcs)},国际标准图书编号={978-3-939897-50-7},ISSN={1868-8969},年份={2013},体积={20},editor={Portier、Natacha和Wilke、Thomas},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2013.55},URN={URN:nbn:de:0030-drops-39226},doi={10.4230/LIPIcs.STACS.2013.55},annote={关键词:可满足性,模型计数,参数化复杂性}}