papers
Publications (8)
cs.AI2008
Decomposition During Search for Propagation-Based Constraint Solvers
Martin Mann, Guido Tack, Sebastian Will
cs.CC2008
Decomposition Techniques for Subgraph Matching
Stephane Zampelli, Martin Mann, Yves Deville +1
q-bio.BM2011
Efficient exploration of discrete energy landscapes
Martin Mann, Konstantin Klemm
cs.MS2013
The Graph Grammar Library - a generic framework for chemical graph rewrite systems
Martin Mann, Heinz Ekker, Christoph Flamm
cs.CE2010
Lattice model refinement of protein structures
Martin Mann, Alessandro Dal Palù
cs.CE2009
Constraint-based Local Move Definitions for Lattice Protein Models Including Side Chains
Martin Mann, Mohamed Abou Hamra, Kathleen Steinhöfel +1
cs.CE2009
Equivalence Classes of Optimal Structures in HP Protein Models Including Side Chains
Martin Mann, Rolf Backofen, Sebastian Will
q-bio.BM2014
Memory efficient RNA energy landscape exploration
Martin Mann, Marcel Kucharik, Christoph Flamm +1