Added exhaustive search backend