@misc{indiciaef8841f2715f3,
  title = {An optimization-based approach to automated design},
  author = {Ion Matei and Maksym Zhenirovskyy and John Maxwell and Johan de Kleer},
  year = {2023},
  url = {https://arxiv.org/abs/2302.08428},
  note = {Source identifier: 2302.08428}
}