@misc{indiciaefc4d4a726300,
  title = {INVICTUS: Optimizing Boolean Logic Circuit Synthesis via Synergistic Learning and Search},
  author = {Animesh Basak Chowdhury and Marco Romanelli and Benjamin Tan and Ramesh Karri and Siddharth Garg},
  year = {2023},
  url = {https://arxiv.org/abs/2305.13164},
  note = {Source identifier: 2305.13164}
}