A Median Solver and Phylogenetic Inference Based on DCJ Sorting.

Ruofan Xia Jun Zhou Lingxi Zhou Bing Feng Jijun Tang

Published in: ISBRA (2017)

Keyphrases

median filter
data mining
sat solving
artificial intelligence
constraint solver
real time
machine learning
genetic algorithm
decision making
e learning
decision trees
three dimensional
sat solvers
quantified boolean formulas
sorting algorithms