Esta es la forma más eficiente de producir un conjunto completo de todas las soluciones consistentes posibles.
Hay varias maneras de producir un conjunto completo de todas las posibles soluciones consistentes.