TY  - RPRT
TI  - Engineering an Efficient Boolean Functional Synthesis Engine
AU  - Priyanka Golia
AU  - Friedrich Slivovsky
AU  - Subhajit Roy
AU  - Kuldeep S. Meel
PY  - 2021
UR  - https://arxiv.org/abs/2108.05717
ID  - 2108.05717
ER  -