@article{invictusoptimizingbooleanlogiccircuit,
  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},
  eprint = {2305.13164},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2305.13164v3},
}