Terminating a Nuclear Explosion via Constraint Network Engineering: From Chain Reaction to Forced Sealing | Synapse