@inproceedings{DBLP:conf/kr/DilkasB23,
  author       = {Paulius Dilkas and
                  Vaishak Belle},
  editor       = {Pierre Marquis and
                  Tran Cao Son and
                  Gabriele Kern{-}Isberner},
  title        = {Synthesising Recursive Functions for First-Order Model Counting: Challenges,
                  Progress, and Conjectures},
  booktitle    = {Proceedings of the 20th International Conference on Principles of
                  Knowledge Representation and Reasoning, {KR} 2023, Rhodes, Greece,
                  September 2-8, 2023},
  pages        = {198--207},
  year         = {2023},
  url          = {https://doi.org/10.24963/kr.2023/20},
  doi          = {10.24963/KR.2023/20},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/kr/DilkasB23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"texuseg7ka64pRAFh","bibbaseid":"dilkas-belle-synthesisingrecursivefunctionsforfirstordermodelcountingchallengesprogressandconjectures-2023","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":["Pierre"],"propositions":[],"lastnames":["Marquis"],"suffixes":[]},{"firstnames":["Tran","Cao"],"propositions":[],"lastnames":["Son"],"suffixes":[]},{"firstnames":["Gabriele"],"propositions":[],"lastnames":["Kern-Isberner"],"suffixes":[]}],"title":"Synthesising Recursive Functions for First-Order Model Counting: Challenges, Progress, and Conjectures","booktitle":"Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023, Rhodes, Greece, September 2-8, 2023","pages":"198–207","year":"2023","url":"https://doi.org/10.24963/kr.2023/20","doi":"10.24963/KR.2023/20","timestamp":"Tue, 07 May 2024 01:00:00 +0200","biburl":"https://dblp.org/rec/conf/kr/DilkasB23.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/kr/DilkasB23,\n author = {Paulius Dilkas and\n Vaishak Belle},\n editor = {Pierre Marquis and\n Tran Cao Son and\n Gabriele Kern{-}Isberner},\n title = {Synthesising Recursive Functions for First-Order Model Counting: Challenges,\n Progress, and Conjectures},\n booktitle = {Proceedings of the 20th International Conference on Principles of\n Knowledge Representation and Reasoning, {KR} 2023, Rhodes, Greece,\n September 2-8, 2023},\n pages = {198--207},\n year = {2023},\n url = {https://doi.org/10.24963/kr.2023/20},\n doi = {10.24963/KR.2023/20},\n timestamp = {Tue, 07 May 2024 01:00:00 +0200},\n biburl = {https://dblp.org/rec/conf/kr/DilkasB23.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Dilkas, P.","Belle, V."],"editor_short":["Marquis, P.","Son, T. C.","Kern-Isberner, G."],"key":"DBLP:conf/kr/DilkasB23","id":"DBLP:conf/kr/DilkasB23","bibbaseid":"dilkas-belle-synthesisingrecursivefunctionsforfirstordermodelcountingchallengesprogressandconjectures-2023","role":"author","urls":{"Paper":"https://doi.org/10.24963/kr.2023/20"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/52/570.bib","dataSources":["ayruv4JDJNMLz7ieC"],"keywords":[],"search_terms":["synthesising","recursive","functions","first","order","model","counting","challenges","progress","conjectures","dilkas","belle"],"title":"Synthesising Recursive Functions for First-Order Model Counting: Challenges, Progress, and Conjectures","year":2023}