Dovier, Agostino

4 publications

JAIR 2013 A Constraint Solver for Flexible Protein Model Federico Campeotto, Alessandro Dal Palù, Agostino Dovier, Ferdinando Fioretto, Enrico Pontelli

IJCAI 2011 Exploring Protein Fragment Assembly Using CLP Alessandro Dal Palù, Agostino Dovier, Federico Fogolari, Enrico Pontelli

AAAI 2007 An Experimental Comparison of Constraint Logic Programming and Answer Set Programming Agostino Dovier, Andrea Formisano, Enrico Pontelli

CVPR 2006 Reconstruction with Interval Constraints Propagation Michela Farenzena, Andrea Fusiello, Agostino Dovier