1. A computer-implemented method for iteratively solving a constraint satisfaction problem associated with the functional verification of an electronic design using dynamic splitting search strategy comprising: assigning, using one or more computing devices, a value to each of one or more variables associated with the constraint satisfaction problem, each of the one or more variables having a first domain; identifying, using the one or more computing devices, an invalid solution resulting from a first value assigned to a first variable, wherein upon identifying the invalid solution a backtracking operation is performed; replacing, using the one or more computing devices, the first value with a second value assigned to the first variable; and upon identifying the invalid solution, generating, using the one or more computing devices, a second domain larger than the first domain.