Matthias Zytnicki Christine Gaspin Thomas Schiex DARN! A Weighted Constraint Solver for RNA Motif Localization. 91-109 2008 13 Constraints 1-2 http://dx.doi.org/10.1007/s10601-007-9033-9 db/journals/constraints/constraints13.html#ZytnickiGS08