DARN! A Weighted Constraint Solver for RNA Motif Localization.
Matthias ZytnickiChristine GaspinThomas SchiexPublished in: Constraints An Int. J. (2008)
Keyphrases
- constraint solver
- constraint solving
- structural motifs
- constraint programming
- constraint propagation
- linear constraints
- constraint satisfaction
- constraint satisfaction problems
- constraint logic programming
- real numbers
- protein sequences
- arc consistency algorithm
- genome wide
- binding sites
- motif discovery
- constraint solvers
- dna sequences
- combinatorial problems
- objective function
- sat solvers
- search strategies
- temporal information
- special case