• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Exploiting Constraints in Transformation-Based Verification.

Hari MonyJason BaumgartnerAdnan 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