CompBio & Bioinf @ UniUd
CompBio & Bioinf @ UniUd
Home
Open Positions
Highlights
Projects
Software
Publications
Members
Contact
Light
Dark
Automatic
ASP Applications in Bio-informatics: A Short Tour
Alessandro Dal Palù
,
Agostino Dovier
,
Andrea Formisano
,
Enrico Pontelli
2018-01-01
Cite
DOI
URL
Type
Journal article
Publication
KI - KÜNSTLICHE INTELLIGENZ
Related
CUD@SAT: SAT solving on GPUs
CUDA: Set Constraints on GPUs.
A GPU implementation of the ASP computation
Parallel execution of the ASP computation - An investigation on GPUs
Representing Multi-Agent Planning in CLP
Cite
×