ZEITHAMMER KAREL

Computer implemented system and method for high level controlled searching through a problem space