Encoding Constraints as Binary Constraint Networks Satisfying BTP.

Ruiwei Wang

Browse the full AAAI paper archive.