GENERAL PROBLEM SOLVERS