@misc{indiciae8a24129b31f1,
  title = {Identifying Good Rules for Efficient SAT Encodings of Single-Constant Multiplication Using Machine Learning},
  author = {Chufeng Jiang and Neng-Fa Zhou},
  year = {2026},
  doi = {10.4204/eptcs.450.6},
  url = {https://arxiv.org/abs/2607.21188},
  note = {Source identifier: 2607.21188}
}