Frédéric Lardeux, Eric Monfroy, Eduardo Rodriguez-Tello, Broderick Crawford, Ricardo Soto 0001. Solving complex problems using model transformations: from set constraint modeling to SAT instance solving. Expert Syst. Appl., 149:113243, 2020. [doi]
Abstract is missing.