Login / Signup

From Set Constraint Models to SAT Instances.

Frédéric LardeuxÉric Monfroy
Published in: ICTAI (2016)
Keyphrases
  • probabilistic model
  • linear constraints
  • information retrieval