1 citations · 1 across the 2 of their papers we have counts for
4 papers
SAQC: A SAT-Aware Compilation Framework for QAOA-Based Quantum Optimization
Till Schnittka, Julie Maria Raju, Abhoy Kole +1
The Quantum Approximate Optimization Algorithm (QAOA) is a promising variational approach for solving Boolean satisfiability (SAT) problems. Existing SAT-to-QAOA workflows first tr…
Adaptive Clifford+T Decomposition of Large Toffoli Gates with One Clean Ancilla
Abhoy Kole, Majd Assaad, Till Schnittka +1
Multi-controlled Toffoli gates are fundamental building blocks in quantum computation, with applications in quantum arithmetic, simulation, and search algorithms. In fault-tolerant…
Measurement-Driven Adaptive Low-Overhead Implementation of Multi-Controlled Toffoli Gates
Abhoy Kole, Till Schnittka, Rolf Drechsler
The Toffoli gate is a fundamental building block for quantum arithmetic and reversible logic, yet its efficient realization remains a major challenge in both near-term and fault-to…
Synthesising Robust Controllers for Robot Collectives with Recurrent Tasks: A Case Study
Till Schnittka, Mario Gleirscher
When designing correct-by-construction controllers for autonomous collectives, three key challenges are the task specification, the modelling, and its use at practical scale. In th…