This paper illustrates the design and implementation of a conflict-driven ASP solver that is capable of exploiting the Single-Instruction Multiple-Thread parallelism offered by General Purpose Graphical Processing Units (GPUs). Modern GPUs are multi-core platforms, providing access to large number of cores at a very low cost, but at the price of a complex architecture with non-trivial synchronization and communication costs. The search strategy of the ASP solver follows the notion of ASP computation, that avoids the generation of unfounded sets. Conflict analysis and learning are also implemented to help the search. The CPU is used only to pre-process the program and to output the results. All the solving components, i.e., nogoods managemen...
The number of cores on graphical computing units (GPUs) is reaching thousands nowadays, whereas the ...
In this paper, we analyze the potential of asynchronous relaxation methods on Graphics Processing Un...
International audienceThis book chapter proposes to draw several development methodologies to obtain...
This paper illustrates the design and implementation of a prototype ASP solver that is capable of ex...
Answer Set Programming (ASP) has become the paradigm of choice in the field of logic programming and...
Dottorato di Ricerca in Matematica ed Informatica, XXIV Ciclo, a.a. 2010-2011Answer Set Programming ...
General purpose graphical processing units were proven to be useful for accelerating computationally...
International audienceWe study the impact of asynchronism on parallel iterative algorithms in the pa...
Applying parallelism to constraint solving seems a promising approach and it has been done with vary...
The complex Constraint Satisfaction Problems (CSPs) still require too long to solve even in the most...
The parallel computing power offered by graphic processing units (GPUs) has been recently exploited ...
A* search is a fundamental topic in artificial intelligence. Recently, the general purpose computat...
International audienceWe study the impact of asynchronism on parallel iterative algorithms in the pa...
This dissertation presents an experimental study aimed at assessing the feasibility of parallelizing...
Every new desktop or laptop come equipped with a multicore, programmable graphic processing unit (GP...
The number of cores on graphical computing units (GPUs) is reaching thousands nowadays, whereas the ...
In this paper, we analyze the potential of asynchronous relaxation methods on Graphics Processing Un...
International audienceThis book chapter proposes to draw several development methodologies to obtain...
This paper illustrates the design and implementation of a prototype ASP solver that is capable of ex...
Answer Set Programming (ASP) has become the paradigm of choice in the field of logic programming and...
Dottorato di Ricerca in Matematica ed Informatica, XXIV Ciclo, a.a. 2010-2011Answer Set Programming ...
General purpose graphical processing units were proven to be useful for accelerating computationally...
International audienceWe study the impact of asynchronism on parallel iterative algorithms in the pa...
Applying parallelism to constraint solving seems a promising approach and it has been done with vary...
The complex Constraint Satisfaction Problems (CSPs) still require too long to solve even in the most...
The parallel computing power offered by graphic processing units (GPUs) has been recently exploited ...
A* search is a fundamental topic in artificial intelligence. Recently, the general purpose computat...
International audienceWe study the impact of asynchronism on parallel iterative algorithms in the pa...
This dissertation presents an experimental study aimed at assessing the feasibility of parallelizing...
Every new desktop or laptop come equipped with a multicore, programmable graphic processing unit (GP...
The number of cores on graphical computing units (GPUs) is reaching thousands nowadays, whereas the ...
In this paper, we analyze the potential of asynchronous relaxation methods on Graphics Processing Un...
International audienceThis book chapter proposes to draw several development methodologies to obtain...