1. A computer verification system, said system comprising: means for selecting a first computer-design constraint for simplification; means for applying structural reparameterization to simplify said first computer-design constraint; means for, 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; means for creating a structural preimage of said first computer-design constraint; and means for, 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.