Azucar: A SAT-Based CSP Solver Using Compact Order Encoding - (Tool Presentation).
['Tomoya Tanjo', 'Naoyuki Tamura', 'Mutsunori Banbara']
Azucar: A SAT-Based CSP Solver Using Compact Order Encoding - (Tool Presentation).