16. The non-transitory, computer-readable medium of claim 11 , further comprising, after the validating the but answer: determining if a terminal condition is met; when the termination condition is not met, repeating above steps starting from the selecting; when the termination condition is met, ending the method.
16. The non-transitory, computer-readable medium of claim 11 , further comprising, after the validating the but answer: determining if a terminal condition is met; when the termination condition is not met, repeating above steps starting from the selecting; when the termination condition is met, ending the method. 17. The non-transitory, computer-readable medium of claim 16 , wherein the terminal condition comprises one or more of (1) finding one bridge formula, (2) reaching a terminal value for the step number, and (3) going beyond a time period for executing the method.