Robuta

https://pldi24.sigplan.org/details/egraphs-2024-papers/2/Powered-by-Less-Low-Power-Circuit-Synthesis Powered by Less: Low Power Circuit Synthesis (EGRAPHS 2024) - PLDI 2024 Research in the EGRAPHS Community has recently exploded in both quantity and diversity. The data structure that powers SMT solvers is now seeing use in... powered bycircuit synthesislesslowegraphs https://arxiv.org/abs/2104.13297 [2104.13297] Quantum circuit synthesis of Bell and GHZ states using projective simulation in the... Abstract page for arXiv paper 2104.13297: Quantum circuit synthesis of Bell and GHZ states using projective simulation in the NISQ era