Ver Publicación - Prisma - Unidad de Bibliometría

NMUS: structural analysis for improving the derivation of All MUSes in overconstrained numeric CSPs

Rafael Martínez Gasca; Carmelo del Valle Sevillano; María Teresa Gómez López; R. Ceballos

Tipo: Ponencia
Año de Publicación: 2007
Páginas: 37 - 46
Fuente Nº Citas Fecha Actualización
dialnet003-12-2024
No exiten datos para esta publicación