Solving complex problems using model transformations: from set constraint modeling to SAT instance solving
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 |