1. A computer-verification method comprising the steps of: selecting a first computer-design constraint for simplification; applying structural reparamaterization to simplify said first computer-design constraint; in response to determining that said first computer-design constraint is not eliminated, setting said first computer-design constraint equal to a dead-end state of said first computer-design constraint; creating a structural preimage of said first computer-design constraint; and in response to determining that a combination of a target and said dead-end state of said first computer-design constraint is equal to a combination of said target and said structural preimage of said first computer-design constraint, setting said first computer-design constraint equal to said structural preimage.