Pontelli Enrico

Parallel Answer Set Programming
A GPU Implementation of Large Neighborhood Search for Solving Constraint Optimization Problems.
Exploring the Use of GPUs in Constraint SolvingPractical Aspects of Declarative Languages
Towards a complete constraint solver on GPU
Protein Loop Modeling via Constraints and Fragment Assembly
BAAC: A Prolog System for Action Description and Agents Coordination
Exploring Protein Fragment Assembly Using CLP
Introducing FIASCO: Fragment-based Interactive Assembly for protein Structure prediction with COnstraints
A 25 Year Perspective on Logic Programming. Achievements of the Italian Association for Logic Programming, GULP
Present and Future Challenges for ASP Systems
Global Constraints for Discrete Lattices

Published with Wowchemy — the free, open source website builder that empowers creators.