#satisfacibilidad de fórmulas

Explotación de la búsqueda en planificación numérica simbólica con patrones

Descubre un nuevo procedimiento de planificación numérica simbólica que usa patrones y búsqueda dinámica para resolver problemas complejos.