Enhancing the computation of approximate solutions of the protein structure determination problem through global constraints for discrete crystal lattices

This paper investigates alternative global constraints that can be introduced in a constraint solver over discrete crystal lattices. The objective is to enhance the efficiency of lattice solvers in dealing with the construction of approximate solutions of the protein structure determination problem. The paper discusses various alternatives and provides preliminary results concerning the computational properties of the different global constraints.

[1]  Nicolas Beldiceanu,et al.  Global Constraint Catalog , 2005 .

[2]  J. Skolnick,et al.  Reduced models of proteins and their applications , 2004 .

[3]  Pedro Barahona,et al.  Propagating N-Ary Rigid-Body Constraints , 2003, CP.

[4]  Eugene C. Freuder.  A Sufficient Condition for Backtrack-Free Search , 1982, JACM.

[5]  William E. Hart,et al.  Fast Protein Folding in the Hydrophobic-Hydrophillic Model within Three-Eights of Optimal , 1996, J. Comput. Biol..

[6]  Mats Carlsson,et al.  Sweep as a Generic Pruning Technique Applied to the Non-overlapping Rectangles Constraint , 2001, CP.

[7]  Alessandro Dal Palù,et al.  A New Constraint Solver for 3D Lattices and Its Application to the Protein Folding Problem , 2005, LPAR.

[8]  Alessandro Dal Palù,et al.  Constraint Based Protein Structure Prediction Exploiting Secondary Structure Information , 2004 .

[9]  S D Fuller,et al.  Cryo-electron microscopy reveals the functional organization of an enveloped virus, Semliki Forest virus. , 2000, Molecular cell.

[10]  Toby Walsh,et al.  The Complexity of Global Constraints , 2004, AAAI.

[11]  Alessandro Dal Palù,et al.  Constraint Logic Programming approach to protein structure prediction , 2004, BMC Bioinformatics.

[12]  Willem Jan van Hoeve,et al.  The alldifferent Constraint: A Survey , 2001, ArXiv.

[13]  Mihalis Yannakakis,et al.  On the Complexity of Protein Folding , 1998, J. Comput. Biol..

[14]  William E. Hart,et al.  Fast protein folding in the hydrophobic-hydrophilic model within three-eights of optimal , 1995, STOC '95.

[15]  Pedro Barahona,et al.  Applying Constraint Programming to Rigid Body Protein Docking , 2005, CP.

[16]  Steven Skiena,et al.  Local rules for protein folding on a triangular lattice and generalized hydrophobicity in the HP model , 1997, RECOMB '97.

[17]  Jean-Charles Régin,et al.  A Filtering Algorithm for Constraints of Difference in CSPs , 1994, AAAI.

[18]  Rolf Backofen,et al.  A Constraint-Based Approach to Fast and Exact Structure Prediction in Three-Dimensional Protein Models , 2006, Constraints.