BMC Engine Sequencing with Graph Neural Network Embeddings of Hardware Circuits. - Soumik Guha Roy; Adriz Chanda; Prateek Ganguli; Sumana Ghosh; Ansuman Banerjee; Raj Kumar Gajavelly; Sudhakar Surendran (VLSID, 2025)