Every single time a CSP problem is split, the resulting CSPs are created arc reliable (if probable). Rather than extending this class, you may possibly like to compose a new class Search with AC from Charge CSP that has the very same procedures but performs with above constraint optimization problems. http://franciscooxbeh.blogdon.net/an-unbiased-view-of-assignment-28013255