@misc{indiciae613a040d5ca3,
  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},
  url = {https://arxiv.org/abs/2509.13880},
  note = {Source identifier: 2509.13880}
}