CompBio & Bioinf @ UniUd
CompBio & Bioinf @ UniUd
Home
Open Positions
Highlights
Projects
Software
Publications
Members
Contact
Light
Dark
Automatic
Global Constraints for Discrete Lattices
Palù Alessandro Dal
,
Agostino Dovier
,
Pontelli Enrico
2006-01-01
Cite
URL
Type
Conference paper
Publication
Proceedings of WCB06: Workshop on Constraint Based methods for Bioinformatics.
Related
Parallel Answer Set Programming
Exploring the Use of GPUs in Constraint SolvingPractical Aspects of Declarative Languages
A GPU Implementation of Large Neighborhood Search for Solving Constraint Optimization Problems.
Towards a complete constraint solver on GPU
Protein Loop Modeling via Constraints and Fragment Assembly
Cite
×