@article{anexhaustivedpllapproachtomodelcountingo,
  title = {An Exhaustive DPLL Approach to Model Counting over Integer Linear Constraints with Simplification Techniques},
  author = {Mingwei Zhang and Zhenhao Gu and Liangda Fang and Cunjing Ge and Ziliang Chen and Zhao-Rong Lai and Quanlong Guan},
  year = {2025},
  eprint = {2509.13880},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2509.13880},
}