Resolver puzzles usando diferentes estrategias declarativas: Constraint Programming, SAT y Linear Programming. Resolvemos problemas de ejemplo usando Scryer Prolog y las librerías clpz, clpb y simplex.
Descargas / Downloads:
Go back / Volver