Sequence search algorithm assessment and testing toolkit (SAT).
Jong ParkLiisa HolmCyrus ChothiaPublished in: Bioinform. (2000)
Keyphrases
- search algorithm
- satisfiability problem
- branch and bound
- heuristic search
- max sat
- search strategy
- stochastic local search algorithms
- search problems
- search methods
- search space
- tabu search
- search tree
- search strategies
- tree search
- item response theory
- data sets
- input data
- sat solvers
- quality assessment
- search procedure
- neural network
- sat solving