Bounds for Quantum Circuits using Logic-Based Analysis

MLA

Fauseweh, Benedikt, et al. Bounds for Quantum Circuits Using Logic-Based Analysis. 2024. EBSCOhost, widgets.ebscohost.com/prod/customlink/proxify/proxify.php?count=1&encode=0&proxy=&find_1=&replace_1=&target=https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&scope=site&db=edsarx&AN=edsarx.2411.19177&authtype=sso&custid=ns315887.

APA

Fauseweh, B., Hermann, B., & Howar, F. (2024). Bounds for Quantum Circuits using Logic-Based Analysis.

Chicago

Fauseweh, Benedikt, Ben Hermann, and Falk Howar. 2024. “Bounds for Quantum Circuits Using Logic-Based Analysis.” http://widgets.ebscohost.com/prod/customlink/proxify/proxify.php?count=1&encode=0&proxy=&find_1=&replace_1=&target=https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&scope=site&db=edsarx&AN=edsarx.2411.19177&authtype=sso&custid=ns315887.