Очевидно, необходимо генерировать и тестировать кандидатов на наличие решений некоторым систематическим способом.