On the Reasons Behind Decisions. - Adnan Darwiche; Auguste Hirth (ECAI, 2020)

Quanto: Optimizing Quantum Circuits with Automatic Generation of Circuit Identities. - Jessica Pointing; Oded Padon; Zhihao Jia; Henry Ma; Auguste Hirth; Jens Palsberg; Alex Aiken (CoRR, 2021)

Quartz: superoptimization of Quantum circuits. - Mingkuan Xu; Zikun Li; Oded Padon; Sina Lin; Jessica Pointing; Auguste Hirth; Henry Ma; Jens Palsberg; Alex Aiken; Umut A. Acar; Zhihao Jia (PLDI, 2022)

Quartz: Superoptimization of Quantum Circuits (Extended Version). - Mingkuan Xu; Zikun Li; Oded Padon; Sina Lin; Jessica Pointing; Auguste Hirth; Henry Ma; Jens Palsberg; Alex Aiken; Umut A. Acar; Zhihao Jia (CoRR, 2022)

On the (Complete) Reasons Behind Decisions. - Adnan Darwiche; Auguste Hirth (J. Log. Lang. Inf., 2023)