Saturation-Based Atom Provenance Tracing in Chemical Reaction Networks

Marcel Friedrichs, Daniel Merkle

Atom tracing is essential for understanding the fate of labeled atoms in biochemical reaction networks, yet existing computational methods either simplify label correlations or suf…