Dal Palu A

Latest

• 2D object reconstruction with ASP
• Exploring Life: Answer Set Programming in Bioinformatics
• A Constraint Solver for Flexible Protein Models
• CUD@ASP: Experimenting with GPUs in ASP solving
• Exploiting unexploited computing resources for computational logics
• CLP-based protein fragment assembly
• Computing Approximate Solutions of the Protein Structure Determination Problem using Global Constraints on Discrete Crystal Lattices
• GASP: Answer Set Programming with Lazy Grounding
• A constraint solver for discrete lattices, its parallelization, and application to protein structure prediction
• The Density Constraint
• Constraint Logic Programming approach to protein structure prediction
• Integrating Finite Domain Constraints and CLP with Sets