Lancelot Wathieu, Gus Henry Smith, Luis Ceze, Chris Thachuk: Fridge Compiler: Optimal Circuits from Molecular Inventories. CMSB 2023: 236-252