CMT Lab Logo

CMT Lab

Constraint-based Methods and Technologies Laboratory


Recent Papers

Author Title Publication Options
Selected Papers
A. Dal Palu', A. Dovier, A. Formisano, and E. Pontelli. CUD@SAT: SAT Solving on GPUs To appear in JETAI (Journal of Experimental and Theoretical Artificial Intelligence)  
A. Daducci, A. Dal Palu', A. Lemkaddem, J. Thiran. A Convex Optimization Framework For Global Tractography. International Symposium on Biomedical Imaging, San Francisco, CA, USA, April 8-11, 2013.  
F. Campeotto, A. Dal Palu', A. Dovier, F. Fioretto and E. Pontelli. A Constraint Solver for Flexible Protein Model. JAIR (Journal of Artificial Intelligence Research) Volume 48, pages 953-1000. Doi:10.1613/jair.4193  
A. Dal Palu', F. Spyrakis and P. Cozzini A new approach for investigating protein flexibility based on Constraint Logic Programming. The first application in the case of the Estrogen Receptor. European Journal of Medicinal Chemistry. DOI: dx.doi.org/10.1016/j.ejmech.2012.01.003  
F. Campeotto, A. Dal Palu', A. Dovier, F. Fioretto, and E. Pontelli. A Filtering Technique for Fragment Assembly-based Proteins Loop Modeling with Constraints. International Conference on Principles and Practice of Constraint Programming, 2012. LNCS 7514.  
A. Dal Palu', A. Dovier, F. Fogolari and E. Pontelli. Protein Structure Analysis with Constraint Programming. Book chapter in Computational Approaches to Nuclear Receptors, RSC Drug Discovery Series. 40-59, 2012. ISBN: 978-1-84973-535-3. DOI: 10.1039/9781849735353-00040  
A. Dal Palu', A. Dovier, F. Fogolari, and E. Pontelli CLP-based protein fragment assembly. IJCAI 2011, doi: 10.5591/978-1-57735-516-8/IJCAI11-431  
A. Dal Palu', A. Dovier, E. Pontelli, and G. Rossi Answer Set Programming with Constraints using Lazy Grounding ICLP 2009 Download PDF
G. Rossi From Set Unification to Set Constraints Intelligenza Artificiale  
A. Dal Palu', A. Dovier, E. Pontelli, and G. Rossi GASP: Answer Set Programming with Lazy Grounding LaSh 2008 Download PDF
F. Bergenti, A. Dal Palu', and G. Rossi Generalizing Finite Domain Constraint Solving CILC '08 Download PDF
A. Dal Palu', A. Dovier, E. Pontelli, and G. Rossi GASP: Answer Set Programming with Lazy Grounding CILC '08 Download PDF