Generating Preset Distinguishing Sequences Using SAT.

Canan Güniçen Uraz Cengiz Türker Hasan Ural Hüsnü Yenigün

Published in: ISCIS (2011)

Keyphrases

search algorithm
hidden markov models
satisfiability problem
sat solvers
sat problem
generation process
phase transition
sequence analysis
long sequences
sat solving
neural network
sequence alignment
event sequences
biological sequences
automatically generating