Sign in

Automatically Improving SAT Encoding of Constraint Problems Through Common Subexpression Elimination in Savile Row.

Peter NightingalePatrick SpracklenIan Miguel
Published in: CP (2015)
Keyphrases
  • constraint problems
  • sat encodings
  • constraint satisfaction problems
  • constraint satisfaction
  • randomly generated
  • constraint programming
  • combinatorial problems
  • sat solvers
  • optimisation problems