Compiling Pseudo-Boolean Constraints to SAT with Order Encoding.

Naoyuki Tamura, Mutsunori Banbara, Takehide Soh

Browse the full ICTAI paper archive.