@article{identifyinggoodrulesforefficientsatencod,
  title = {Identifying Good Rules for Efficient SAT Encodings of Single-Constant Multiplication Using Machine Learning},
  author = {Chufeng Jiang and Neng-Fa Zhou},
  year = {2026},
  eprint = {2607.21188},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2607.21188},
}