CompBio & Bioinf @ UniUd
CompBio & Bioinf @ UniUd
Home
Open Positions
Highlights
Projects
Software
Publications
Members
Contact
Light
Dark
Automatic
MASP-Reduce: A Proposal for Distributed Computation of Stable Models
Federico Igne
,
Agostino Dovier
,
Enrico Pontelli
2018-01-01
Cite
Type
Conference paper
Publication
Technical Communications of the 34th International Conference on Logic Programming, ICLP 2018
Related
CUDA: Set Constraints on GPUs.
Towards distributed computation of answer sets
ASP Applications in Bio-informatics: A Short Tour
Distributed multi-agent optimization for smart grids and home automation
A GPU implementation of the ASP computation
Cite
×