1. A method of optimizing constraint resolution in a logic design verification system, comprising: obtaining a description of a verification environment having constrained objects; analyzing the constrained objects incrementally to create a data structure of nodes, each node including a description of variables transitively connected by constraints and at least one node reusing a description from at least one other node; and utilizing the data structure during logic design verification.