An Efficient Assertion Checker for Combinational Properties.

Gagan Hasteer Anmol Mathur Prithviraj Banerjee

Published in: DAC (1997)

Keyphrases

database
structural properties
desirable properties
information systems
decision making
optimal solution
support vector
preprocessing
special case
topological properties