Experimenting with parallelism for the instantiation of ASP programs

In the last few years, microprocessor technologies have been moving towards multi-core architectures, in order to improve performance as well as reduce power consumption. This makes real Symmetric MultiProcessing (SMP) available even on non-dedicated machines, and paves the way to the development of...

Full description

Saved in:

Bibliographic Details
Published in:	Journal of algorithms Vol. 63; no. 1; pp. 34 - 54
Main Authors:	Calimeri, F., Perri, S., Ricca, F.
Format:	Journal Article
Language:	English
Published:	Elsevier Inc 2008
Subjects:	Answer Set Programming Disjunctive Logic Programming Instantiation Parallelism Disjunctive Logic Programming Parallelism Instantiation Answer Set Programming
ISSN:	0196-6774, 1090-2678
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!