From models to rules: Mechanization of reasoning as a way to cope with cognitive overloading in combinatorial problems