Login / Signup

From Set Constraint Models to SAT Instances.

Frédéric LardeuxÉric Monfroy
Published in: ICTAI (2016)
Keyphrases
  • np hard
  • randomly generated
  • linear constraints
  • database
  • decision makers