Property-based cascade genetic algorithms for tailored searches of