You are about to access our book library "On Minimizing the Number of Calculations in Design-by-analysis Codes full version" .