"Chien search"@cs .