There are two main solvers developed during the fragment assembly project
- COCOS, a Multi Agent System for Protein Structure Prediction (CPU/GPU version), based on ICCP13/JETAI14 papers, and
- with a slight ambiguity on its name, FIASCO, based on CP12/JAIR13 papers
We have reported some notes and details on the Energy Function employed in FIASCO and in the MAS tool.
The proof of NP-completeness of the JM-constraint (establishing consistency) can be found Here.
- COLA (COnstraints solving on LAttices). This solver is described in A. Dal Palù, A. Dovier, and E. Pontelli. A constraint solver for discrete lattices, its parallelization, and application to protein structure prediction. SOFTWARE-PRACTICE AND EXPERIENCE 37(13):1405-1449, 2007.
- CLP predictor, (TUPLES) based on protein fragment analysis. This solver is described in A. Dal Palù, A. Dovier, F. Fogolari, and E. Pontelli. CLP-based protein fragment assembly. Theory and Practice of Logic Programming, 10(4-6): 709-724, 2010.