Azucar: A SAT-Based CSP Solver Using Compact Order Encoding - (Tool Presentation).

Tomoya Tanjo, Naoyuki Tamura, Mutsunori Banbara

Browse the full SAT paper archive.