Existen algoritmos que encuentran distintos tipos de soluciones, tanto booleanas como de eficiencia.