Rolf Drechsler

TRACE: Traversal and Reasoning Algebraic Computing Engine for Formal Hardware Verification

Modern hardware verification of complex circuits relies heavily on the efficiency of formal methods. For complex arithmetic circuits in particular Symbolic Computer Algebra (SCA) engines which represent pseudo-boolean functions using polynomials are crucial. As circuit complexity grows in the age of AI, verification of...

A Conflict-Aware Learning Approach to SCA Verification for MAC Architectures

Variational Manifold Engineering in Quantum Chemistry: Structural Challenges in Ansatz Design

This work presents a comparative structural analysis of major ansatz paradigms from the perspective of constrained variational manifold engineering and examines how each construction strategy encodes physical symmetries, balances expressibility and trainability, scales in parameter and measurement complexity, and respo...