Skip to main content


Constraints in Bioinformatics

Constraints in Bioinformatics

Edited by Rolf Backofen, Alessandro Dal Palu', Agostino Dovier, and Sebastian Will

The technology of Constraint and Constraint Logic Programming has shown to be effective for a multitude of computational problems of modern bio-sciences, which are typically complex and often NP-hard. Constraint-based methods contribute essentially to the tool set of Bioinformatics, due to their ability to simplify problem modeling and face computationally challenging problems. These techniques emerged in bioinformatics more than 10 years ago, introduced at the workshops Constraints and Bioinformatics/Biocomputing associated to CP97 and CP98. Since 2005, the Workshops on Constraint based methods for Bioinformatics (WCB series) haven taken place annually. Topics of particular interest comprise (but are not limited to) sequence analysis, biological systems simulations, protein structure prediction and docking, structure alignment, pedigree analysis, and haplotype inference. The thematic series is open to any original paper in the area that has not been published elsewhere. In particular, we encourage the submission of full papers corresponding to presentations in recent editions of the WCB series.

View all collections published in Algorithms for Molecular Biology.

  1. Research

    ASP-based method for the enumeration of attractors in non-deterministic synchronous and asynchronous multi-valued networks

    This paper addresses the problem of finding attractors in biological regulatory networks. We focus here on non-deterministic synchronous and asynchronous multi-valued networks, modeled using automata networks ...

    Emna Ben Abdallah, Maxime Folschette, Olivier Roux and Morgan Magnin

    Algorithms for Molecular Biology 2017 12:20

    Published on: 15 August 2017

  2. Research

    Using a constraint-based regression method for relative quantification of somatic mutations in pyrosequencing signals: a case for NRAS analysis

    Pyrosequencing Allele Quantification (AQ) is a cost-effective DNA sequencing method that can be used for detecting somatic mutations in formalin-fixed paraffin-embedded (FFPE) samples. The method displays a lo...

    Jerome Ambroise, Jamal Badir, Louise Nienhaus, Annie Robert, Anne-France Dekairelle and Jean-Luc Gala

    Algorithms for Molecular Biology 2016 11:24

    Published on: 15 September 2016

  3. Research

    A constraint solving approach to model reduction by tropical equilibration

    Model reduction is a central topic in systems biology and dynamical systems theory, for reducing the complexity of detailed models, finding important parameters, and developing multi-scale models for instance....

    Sylvain Soliman, François Fages and Ovidiu Radulescu

    Algorithms for Molecular Biology 2014 9:24

    Published on: 4 December 2014

  4. Research

    Atom mapping with constraint programming

    Chemical reactions are rearrangements of chemical bonds. Each atom in an educt molecule thus appears again in a specific position of one of the reaction products. This bijection between educt and product atoms...

    Martin Mann, Feras Nahar, Norah Schnorr, Rolf Backofen, Peter F Stadler and Christoph Flamm

    Algorithms for Molecular Biology 2014 9:23

    Published on: 29 November 2014

  5. Research

    Analysis of Metabolic Subnetworks by Flux Cone Projection

    Analysis of elementary modes (EMs) is proven to be a powerful constraint-based method in the study of metabolic networks. However, enumeration of EMs is a hard computational task. Additionally, due to their la...

    Sayed-Amir Marashi, Laszlo David and Alexander Bockmayr

    Algorithms for Molecular Biology 2012 7:17

    Published on: 29 May 2012