sat
Programación de clases a satisfacibilidad booleana [Reducción de tiempo polinómico]
Tengo algún problema teórico / práctico y no tengo ni idea por ahora de cómo manejarlo, aquí está:
Creo un solucionador SA ... ..
Pregunta de seguimiento: Programación de Clases a Booleano satisfacibilidad [Reducción del tiempo polinómico] parte 2