CompBio & Bioinf @ UniUd
CompBio & Bioinf @ UniUd
Home
Open Positions
Highlights
Projects
Software
Publications
Members
Contact
Light
Dark
Automatic
Present and Future Challenges for ASP Systems
Agostino Dovier
,
Pontelli Enrico
2009-01-01
Cite
DOI
Type
Conference paper
Publication
Proc of LPNMR 2009
Answer set programming
Related
Answer Set Programming with Constraints using Lazy Grounding
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
Cite
×