@techreport{Robert:2012TR, AUTHOR = {Robert J. Woodward and Shant Karakashian and Berthe Y. Choueiry and Christian Bessiere and David B. Marx}, TITLE = {{Exploiting Structure in Constraint Propagation}}, YEAR = 2012, TYPE = {Technical Report}, NUMBER = {TR-UNL-CSE-2012-0010}, INSTITUTION = {Department of Computer Science and Engineering, University of Nebraska-Lincoln}, ADDRESS = {Lincoln, NE}}