Identifying Protein Co-regulatory Network Logic by Solving B-SAT Problems through Gate-based Quantum Computing. - Aspen Erlandsson Brisebois; Jason Broderick; Zahed Khatooni; Heather L. Wilson; Steven Rayan; Gordon Broderick (CoRR, 2025)