activity
20152025
most citedIrredundant Buffer and Splitter Insertion and Scheduling-Based Optimization for AQFP Circuits

6 citations · 8 across the 13 of their papers we have counts for

collaborators
Showing 2020Show all

2 papers · 1 filter

cs.LO2020

Simulation-Guided Boolean Resubstitution

Siang-Yun Lee, Heinz Riener, Alan Mishchenko +2

This paper proposes a new logic optimization paradigm based on circuit simulation, which reduces the need for Boolean computations such as SAT-solving or constructing BDDs. The pap…

cs.ET2020

ROS: Resource-constrained Oracle Synthesis for Quantum Computers

Giulia Meuli, Mathias Soeken, Martin Roetteler +1

We present a completely automatic synthesis framework for oracle functions, a central part in many quantum algorithms. The proposed framework for resource-constrained oracle synthe…