This paper presents the design, implementation and application of a constraint programming framework on 3D crystal lattices. The framework provides the flexibility to express and resolve constraints dealing with structural relationships of entities placed in a 3D lattice structure in space. Both sequential and parallel implementations of the framework are described, along with experiments that highlight its superior performance with respect to the use of more traditional frameworks (e.g. constraints on finite domains and integer programming) to model lattice constraints. The framework is motivated and applied to address the problem of solving the protein folding prediction problem, i.e. predicting the 3D structure of a protein from its primary amino acid sequence. Results and comparison with performance of other constraint-based solutions to this problem are presented.

A constraint solver for discrete lattices, its parallelization, and application to protein structure prediction / DAL PALU', Alessandro; A., Dovier; E., Pontelli. - In: SOFTWARE-PRACTICE & EXPERIENCE. - ISSN 0038-0644. - 37:13:(2007), pp. 1405-1449. [10.1002/spe.810]

A constraint solver for discrete lattices, its parallelization, and application to protein structure prediction

DAL PALU', Alessandro;
2007-01-01

Abstract

This paper presents the design, implementation and application of a constraint programming framework on 3D crystal lattices. The framework provides the flexibility to express and resolve constraints dealing with structural relationships of entities placed in a 3D lattice structure in space. Both sequential and parallel implementations of the framework are described, along with experiments that highlight its superior performance with respect to the use of more traditional frameworks (e.g. constraints on finite domains and integer programming) to model lattice constraints. The framework is motivated and applied to address the problem of solving the protein folding prediction problem, i.e. predicting the 3D structure of a protein from its primary amino acid sequence. Results and comparison with performance of other constraint-based solutions to this problem are presented.
2007
A constraint solver for discrete lattices, its parallelization, and application to protein structure prediction / DAL PALU', Alessandro; A., Dovier; E., Pontelli. - In: SOFTWARE-PRACTICE & EXPERIENCE. - ISSN 0038-0644. - 37:13:(2007), pp. 1405-1449. [10.1002/spe.810]
File in questo prodotto:
File Dimensione Formato  
SPE2007.pdf

non disponibili

Tipologia: Documento in Post-print
Licenza: NON PUBBLICO - Accesso privato/ristretto
Dimensione 832.67 kB
Formato Adobe PDF
832.67 kB Adobe PDF   Visualizza/Apri   Richiedi una copia

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11381/1642733
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 25
  • ???jsp.display-item.citation.isi??? 18
social impact