Exploiting Symmetry in SMT Problems.

David Déharbe Pascal Fontaine Stephan Merz Bruno Woltzenlogel Paleo

Published in: CADE (2011)

Keyphrases

data structure
optimization problems
data sets
genetic algorithm
application domains
problems involving
related problems
real world
data mining
artificial intelligence
e learning
np complete
solving problems
practical problems
integer linear programming