• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Exploiting Short Supports for Improved Encoding of Arbitrary Constraints into SAT.

Özgür AkgünIan P. GentChristopher JeffersonIan MiguelPeter Nightingale
Published in: CP (2016)
Keyphrases