CompBio & Bioinf @ UniUd
CompBio & Bioinf @ UniUd
Home
Members
Events
Projects
Software
Publications
Contact
Light
Dark
Automatic
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
Cite
×