SAT with Global Constraints.

Md. Solimul Chowdhury, Jia-Huai You

Browse the full ICTAI paper archive.