TY  - RPRT
TI  - BoolGebra: Attributed Graph-learning for Boolean Algebraic Manipulation
AU  - Yingjie Li
AU  - Anthony Agnesina
AU  - Yanqing Zhang
AU  - Haoxing Ren
AU  - Cunxi Yu
PY  - 2024
UR  - https://arxiv.org/abs/2401.10753
ID  - 2401.10753
ER  -