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

Takehide Soh Mutsunori Banbara Naoyuki Tamura

Published in: ICTAI (2015)

Keyphrases

sat encodings
pseudo boolean constraints
constraint satisfaction problems
planning problems