Dey et al. "Synthesizing Designs with low-Cardinality minimum Feedback Vertex Set for Partial Scan Application," IEEE, pp. 2-7, Jun. 1994. |
Calvanese et al. "In the Interaction between ISA and Cardinality Constraint" IEEE, pp. 204-213, Feb. 1994. |
Fain et al. "Hierarchical Constraint Solving in the Parametric form with Applications to Efficient Symbolic Simulation Verification", IEEE pp. 304-307, Feb. 1993. |
Wang et al "Distributed Query Optimization by One-Shot Fixed-Precision Semi-Join Execution", IEEE, pp. 756-763, Jan. 1991. |
Maro et al. "Domain and active Domains: What this Distinction Implies for the EStimation of Projection Sizes in Relational Databases", IEEE, pp. 641-655 vol. 7 No. 4, Aug. 1995. |
Sood et al. "Computational Complexity of Sorting and Joining Relations with Duplicates", IEEE, pp. 496-503, vol. 3, No. 4, Dec. 1991. |
Sood et al, "Sorting and Joining Relations with Duplicates Attribute Value", IEEE, pp. 30-36, Apr. 1990. |
Wang et al. "Distributed Query Optimization by One-Shot Fixed-Precision Semi-join Execution", IEEE, pp. 756-763, Jun. 1990. |