@inproceedings{DBLP:conf/sat/DilkasB21,
  author       = {Paulius Dilkas and
                  Vaishak Belle},
  editor       = {Chu{-}Min Li and
                  Felip Many{\`{a}}},
  title        = {Weighted Model Counting Without Parameter Variables},
  booktitle    = {Theory and Applications of Satisfiability Testing - {SAT} 2021 - 24th
                  International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12831},
  pages        = {134--151},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-80223-3\_10},
  doi          = {10.1007/978-3-030-80223-3\_10},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sat/DilkasB21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"23JzQa7ko9SyAaTdJ","bibbaseid":"dilkas-belle-weightedmodelcountingwithoutparametervariables-2021","author_short":["Dilkas, P.","Belle, V."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Paulius"],"propositions":[],"lastnames":["Dilkas"],"suffixes":[]},{"firstnames":["Vaishak"],"propositions":[],"lastnames":["Belle"],"suffixes":[]}],"editor":[{"firstnames":["Chu-Min"],"propositions":[],"lastnames":["Li"],"suffixes":[]},{"firstnames":["Felip"],"propositions":[],"lastnames":["Manyà"],"suffixes":[]}],"title":"Weighted Model Counting Without Parameter Variables","booktitle":"Theory and Applications of Satisfiability Testing - SAT 2021 - 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings","series":"Lecture Notes in Computer Science","volume":"12831","pages":"134–151","publisher":"Springer","year":"2021","url":"https://doi.org/10.1007/978-3-030-80223-3\\_10","doi":"10.1007/978-3-030-80223-3_10","timestamp":"Sun, 02 Oct 2022 01:00:00 +0200","biburl":"https://dblp.org/rec/conf/sat/DilkasB21.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/sat/DilkasB21,\n author = {Paulius Dilkas and\n Vaishak Belle},\n editor = {Chu{-}Min Li and\n Felip Many{\\`{a}}},\n title = {Weighted Model Counting Without Parameter Variables},\n booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2021 - 24th\n International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {12831},\n pages = {134--151},\n publisher = {Springer},\n year = {2021},\n url = {https://doi.org/10.1007/978-3-030-80223-3\\_10},\n doi = {10.1007/978-3-030-80223-3\\_10},\n timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},\n biburl = {https://dblp.org/rec/conf/sat/DilkasB21.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Dilkas, P.","Belle, V."],"editor_short":["Li, C.","Manyà, F."],"key":"DBLP:conf/sat/DilkasB21","id":"DBLP:conf/sat/DilkasB21","bibbaseid":"dilkas-belle-weightedmodelcountingwithoutparametervariables-2021","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-030-80223-3\\_10"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/52/570.bib","dataSources":["ayruv4JDJNMLz7ieC"],"keywords":[],"search_terms":["weighted","model","counting","without","parameter","variables","dilkas","belle"],"title":"Weighted Model Counting Without Parameter Variables","year":2021}