@inproceedings{GoliaSRM21,
 author = {Priyanka Golia and
Friedrich Slivovsky and
Subhajit Roy and
Kuldeep S. Meel},
 booktitle = {{IEEE/ACM} International Conference On Computer Aided Design, {ICCAD}
2021, Munich, Germany, November 1-4, 2021},
 doi = {10.1109/ICCAD51958.2021.9643583},
 keywords = {l2solve},
 pages = {1–9},
 publisher = {{IEEE}},
 title = {Engineering an Efficient Boolean Functional Synthesis Engine},
 url = {https://doi.org/10.1109/ICCAD51958.2021.9643583},
 year = {2021}
}