Polynomial Constraint Satisfaction Utilizing Adaptive Dynamic Domain Reduction. - Sajjad Naghdali Zanjani; Mehdi Dehghan Takht Fooladi (ACIS-ICIS, 2012)