11. The computerized apparatus of claim 5 further comprising an assignment reduction module configured to transform a first function to a second function, the first function has a first satisfactory assignment and a second satisfactory assignment, the second function has the first satisfactory assignment.
11. The computerized apparatus of claim 5 further comprising an assignment reduction module configured to transform a first function to a second function, the first function has a first satisfactory assignment and a second satisfactory assignment, the second function has the first satisfactory assignment. 12. The computerized apparatus of claim 11 , wherein the second satisfactory assignment is a partial assignment.