TY  - RPRT
TI  - INVICTUS: Optimizing Boolean Logic Circuit Synthesis via Synergistic Learning and Search
AU  - Animesh Basak Chowdhury
AU  - Marco Romanelli
AU  - Benjamin Tan
AU  - Ramesh Karri
AU  - Siddharth Garg
PY  - 2023
UR  - https://arxiv.org/abs/2305.13164
ID  - 2305.13164
ER  -