Login / Signup

Proposal and Evaluation of Hybrid Encoding of CSP to SAT Integrating Order and Log Encodings.

Takehide SohMutsunori BanbaraNaoyuki Tamura
Published in: Int. J. Artif. Intell. Tools (2017)
Keyphrases
  • sat encodings
  • genetic algorithm
  • constraint satisfaction problems
  • boolean satisfiability
  • pseudo boolean constraints
  • neural network
  • evaluation model