Login / Signup
Using Binary Decision Diagrams (BDDs) for Memory Optimization in Basic Local Alignment Search Tool (BLAST).
Demian Oliveira
Fernando A. F. Braz
Bruno Ferreira
Alessandra C. Faria-Campos
Sérgio Vale Aguiar Campos
Published in:
BSB (2014)
Keyphrases
</>
binary decision diagrams
search tools
boolean functions
symbolic model checking
planning problems
content analysis
end users
personal information
metadata
file system
model checking
sequence alignment
sequence databases
user interface
keyword search
heuristic search
knowledge compilation
search engine