Uno de los ordenadores intenta solucionar un complicado problema, el de la satisfactibilidad de la lógica booleana, o 3-SAT; Lo hace descomponiendo el problema original en un número considerable de problemas más pequeños.