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

Research output: Contribution to journalArticlepeer-review

1 Scopus citations

Fingerprint

Dive into the research topics of 'Solving complex problems using model transformations: from set constraint modeling to SAT instance solving'. Together they form a unique fingerprint.

Engineering & Materials Science