Invited Paper: 2023 ICCAD CAD Contest Problem A: Multi-Bit Large-Scale Boolean Matching | IEEE Conference Publication | IEEE Xplore