Article SCOPUS
Expert Systems with Applications  (2020)

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

Lardeux F.; Monfroy É.; Rodriguez-Tello E.; Crawford B.; Soto R.

Más información

Título según SCOPUS: Solving complex problems using model transformations: from set constraint modeling to SAT instance solving
Título de la Revista: Expert Systems with Applications
Volumen: 149
Editorial: Elsevier Ltd.
Fecha de publicación: 2020
Idioma: English
DOI:

10.1016/j.eswa.2020.113243
Notas: SCOPUS