Login / Signup

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

Frédéric LardeuxÉric MonfroyEduardo Rodriguez-TelloBroderick CrawfordRicardo Soto
Published in: Expert Syst. Appl. (2020)
Keyphrases
  • solving complex
  • probability distribution
  • problems involving
  • optimization problems
  • probabilistic model
  • combinatorial optimization
  • benchmark problems
  • sat instances