( en | de | ru )

 

Disambiguierung von "Dovier, Agostino"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A GPU Implementation of the ASP Computation.

, , , und . PADL, Volume 9585 von Lecture Notes in Computer Science, Seite 30-47. Springer, (2016)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Agostino Mazziotta

Agostino Sottili

Agostino Portera

Mario Agostino Rocca

Giuseppe Agostino Aronica

 

Weitere Publikationen von Autoren mit dem selben Namen

Narrowing the Gap between Set-Constraints and CLP(SET)-Constraints., , und . APPIA-GULP-PRODE, Seite 43-56. (1998)Constraint Propagation on GPU: A Case Study for the Cumulative Constraint., , , , und . CPAIOR, Volume 13884 von Lecture Notes in Computer Science, Seite 336-353. Springer, (2023)Multiset Constraints and P Systems., , und . WMP, Volume 2235 von Lecture Notes in Computer Science, Seite 103-122. Springer, (2000)A Fast Bisimulation Algorithm., , und . CAV, Volume 2102 von Lecture Notes in Computer Science, Seite 79-90. Springer, (2001)A New Constraint Solver for 3D Lattices and Its Application to the Protein Folding Problem., , und . LPAR, Volume 3835 von Lecture Notes in Computer Science, Seite 48-63. Springer, (2005)3coSoKu and its Logic Programming Modeling., und . CILC, Volume 2710 von CEUR Workshop Proceedings, Seite 5-20. CEUR-WS.org, (2020)Non-Well-Founded Set Based Multi-Agent Epistemic Action Language., , , und . CILC, Volume 2396 von CEUR Workshop Proceedings, Seite 242-259. CEUR-WS.org, (2019)2D object reconstruction with ASP., , und . CILC, Volume 2214 von CEUR Workshop Proceedings, Seite 132-146. CEUR-WS.org, (2018)CLP-based Protein Fragment Assembly., , , und . CILC, Volume 598 von CEUR Workshop Proceedings, CEUR-WS.org, (2010)Modeling and Solving the Rush Hour puzzle., , und . CILC, Volume 3204 von CEUR Workshop Proceedings, Seite 294-306. CEUR-WS.org, (2022)