Constraint Acquisition - You Can Chase but You Cannot Find.

Sven Hartmann Sebastian Link Thu Trinh Constraint Acquisition - You Can Chase but You Cannot Find. 59-68 2008 APCCM http://www.crpit.com/confpapers/CRPITV79Hartmann.pdf conf/apccm/2008 db/conf/apccm/apccm2008.html#HartmannLT08