SEARCH Articles Figures Tables Error model Model chemistry Modelling chemistry Models reduced Reducibility model Reducible Models Satisfiability