Generation of Oriented Matroids Using Satisfiability Solvers.

Published in: ICMS (2006)

Keyphrases

generation process
multiscale
independent set
neural network
case study
high quality
evolutionary algorithm
generation algorithm
generation method