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, Ricardo Soto

Research output: Contribution to journalArticlepeer-review

4 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