Hyper-arc consistency in a contraint satisfaction network Grant US-7085748-B2 United States of America 01 Aug 2006