Alessandro Dal Palù

ASP Applications in Bio-informatics: A Short Tour
CUD@SAT: SAT solving on GPUs
Answer Set Programming with Constraints using Lazy Grounding
Logic Programming Techniques in Protein Structure Determination: Methodologies and Results
A hybrid approach mixing local search and constraint programming applied to the protein structure prediction problem
Constraint Logic Programming approach to protein structure prediction

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