Login / Signup

A Method for Pruning Infeasible Paths via Graph Transformations and Symbolic Execution.

Romain AïssatMarie-Claude GaudelFrédéric VoisinBurkhart Wolff
Published in: QRS (2016)
Keyphrases
  • neural network
  • genetic algorithm
  • matching algorithm
  • database
  • data sets
  • decision trees
  • query language
  • optimization algorithm