Bridging the Gap between SAT and CSP.

Carlos Ansótegui Felip Manyà Bridging the Gap between SAT and CSP. 784-785 2002 conf/cp/2002 CP http://link.springer.de/link/service/series/0558/bibs/2470/24700784.htm db/conf/cp/cp2002.html#AnsoteguiM02