Model-based problem solving through symbolic regression via pareto genetic programming Vladislavleva, E.