Exploiting Constraints in Transformation-Based Verification.

Hari Mony Jason Baumgartner Adnan Aziz

Published in: CHARME (2005)

Keyphrases

linear transformation
decision trees
constraint satisfaction
geometric constraints
multiple constraints
database
neural network
genetic algorithm
search engine
global constraints
constraint sets