Chemical kinetics mechanism simplification via CSP