@misc{indiciae3778f40595ed,
  title = {Declarative Synthesis and Multi-Objective Optimization of Stripboard Circuit Layouts Using Answer Set Programming},
  author = {Fang Li},
  year = {2025},
  url = {https://arxiv.org/abs/2512.04910},
  note = {Source identifier: 2512.04910}
}