CompBio & Bioinf @ UniUd
CompBio & Bioinf @ UniUd
Home
Open Positions
Highlights
Projects
Software
Publications
Members
Contact
Light
Dark
Automatic
An Experimental Comparison of Constraint Logic Programming and Answer Set Programming.
Agostino Dovier
,
Andrea Formisano
,
Enrico Pontelli
2007-01-01
Cite
Type
Conference paper
Publication
Proceedings: 22nd AAAI Conference on Artificial Intelligence and the 19th Innovative Applications of Artificial Intelligence Conference
Related
CUDA: Set Constraints on GPUs.
ASP Applications in Bio-informatics: A Short Tour
A GPU implementation of the ASP computation
Parallel execution of the ASP computation - An investigation on GPUs
CUD@SAT: SAT solving on GPUs
Cite
×