Kuzelka, Ondrej

Kuzelka, O. (2021). Weighted first-order model counting in the two-variable fragment with counting quantifiers. Journal of Artificial Intelligence Research, 70, 1281–1307.

Citation

@article{kuzelka2021,
  title = {Weighted first-order model counting in the two-variable fragment with counting quantifiers},
  author = {Kuzelka, Ondrej},
  journal = {Journal of Artificial Intelligence Research},
  volume = {70},
  pages = {1281--1307},
  year = {2021}
}