@misc{indiciaef0791404febe,
  title = {IASCAR: Incremental Answer Set Counting by Anytime Refinement},
  author = {Johannes K. Fichte and Sarah Alice Gaggl and Markus Hecher and Dominik Rusovac},
  year = {2023},
  url = {https://arxiv.org/abs/2311.07233},
  note = {Source identifier: 2311.07233}
}