A DAL PALU'

Latest

• Exploring Life: Answer Set Programming in Bioinformatics
• CUD@ASP: Experimenting with GPUs in ASP solving
• Exploiting unexploited computing resources for computational logics
• The Density Constraint
• Integrating Finite Domain Constraints and CLP with Sets