Dear all, here are my slides from a recent talk "Constraint Programming for Secondary Structure Prediction" given at Herbstseminar Bioinformatik in Doubice (CZ) http://www.imn.htwk-leipzig.de/~waldmann/talk/12/bio/
It is more of an introduction-by-example for a non-expert (in constraint programming) audience. The actual contents (the constraint system) is similar to: Vijay Ganesh, Charles W. O'Donnell, Armando Solar-Lezama, Srini Devadas, Mate Soos and Martin Rinard. Lynx: A Programmatic SAT Solver for the RNA-folding Problem (SAT' 2012) but I am using our encoding library https://github.com/jwaldmann/satchmo with minisat as a back-end, and you might want to have a look at the source code (comments welcome) http://dfa.imn.htwk-leipzig.de/cgi-bin/gitweb.cgi?p=biosat.git;a=tree;f=ssp/code;hb=HEAD Best regards, Johannes.
signature.asc
Description: OpenPGP digital signature
_______________________________________________ Biohaskell mailing list Biohaskell@biohaskell.org http://malde.org/cgi-bin/mailman/listinfo/biohaskell
