@InProceedings{   DBLP:conf/aaai/MalhotraS22,
  Author        = "Malhotra, Sagar and Serafini, Luciano",
  bibsource     = "dblp computer science bibliography, https://dblp.org",
  biburl        = "https://dblp.org/rec/conf/aaai/MalhotraS22.bib",
  BookTitle     = "Thirty-Sixth {AAAI} Conference on Artificial Intelligence, {AAAI} 2022, Thirty-Fourth Conference on Innovative Applications of Artificial Intelligence, {IAAI} 2022, The Twelveth Symposium on Educational Advances in Artificial Intelligence, {EAAI} 2022 Virtual Event, February 22 - March 1, 2022",
  date-added    = "2023-07-06 07:36:28 +0200",
  date-modified = "2023-07-06 07:36:28 +0200",
  Pages         = "5817--5824",
  Publisher     = "{AAAI} Press",
  timestamp     = "Mon, 11 Jul 2022 16:09:32 +0200",
  Title         = "Weighted Model Counting in {FO2} with Cardinality Constraints and Counting Quantifiers: {A} Closed Form Formula",
  URL           = "https://ojs.aaai.org/index.php/AAAI/article/view/20525",
  Year          = "2022",
  bdsk-url-1    = "https://ojs.aaai.org/index.php/AAAI/article/view/20525",
  File          = "Weighted Model Counting in FO2 with Cardinality Constraints and Counting Quantifiers- A Closed Form Formula.pdf"
}

@InProceedings{ DBLP:conf/aaai/MalhotraS22, Author = "Malhotra, Sagar and Serafini, Luciano", bibsource = "dblp computer science bibliography, https://dblp.org", biburl = "https://dblp.org/rec/conf/aaai/MalhotraS22.bib", BookTitle = "Thirty-Sixth {AAAI} Conference on Artificial Intelligence, {AAAI} 2022, Thirty-Fourth Conference on Innovative Applications of Artificial Intelligence, {IAAI} 2022, The Twelveth Symposium on Educational Advances in Artificial Intelligence, {EAAI} 2022 Virtual Event, February 22 - March 1, 2022", date-added = "2023-07-06 07:36:28 +0200", date-modified = "2023-07-06 07:36:28 +0200", Pages = "5817--5824", Publisher = "{AAAI} Press", timestamp = "Mon, 11 Jul 2022 16:09:32 +0200", Title = "Weighted Model Counting in {FO2} with Cardinality Constraints and Counting Quantifiers: {A} Closed Form Formula", URL = "https://ojs.aaai.org/index.php/AAAI/article/view/20525", Year = "2022", bdsk-url-1 = "https://ojs.aaai.org/index.php/AAAI/article/view/20525", File = "Weighted Model Counting in FO2 with Cardinality Constraints and Counting Quantifiers- A Closed Form Formula.pdf" }