1. A machine-usable medium having a plurality of instructions processable by a machine embodied therein, wherein said plurality of instructions, when processed by said machine, causes said machine to perform a computer-verification method comprising: selecting a first computer-design constraint for simplification; applying structural reparameterization 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 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.