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
A GPU Implementation of Large Neighborhood Search for Solving Constraint Optimization Problems.
Exploring the Use of GPUs in Constraint SolvingPractical Aspects of Declarative Languages
Towards a complete constraint solver on GPU
Cite
×