Solving complex problems using model transformations: from set constraint modeling to SAT instance solving

Frédéric Lardeux, Éric Monfroy, Eduardo Rodriguez-Tello, BRODERICK CRAWFORD LABRIN, RICARDO JAVIER SOTO DE GIORGIS

Resultado de la investigación: Contribución a una revistaArtículorevisión exhaustiva

2 Citas (Scopus)

Huella

Profundice en los temas de investigación de 'Solving complex problems using model transformations: from set constraint modeling to SAT instance solving'. En conjunto forman una huella única.

Ingeniería y ciencia de los materiales