DOVIER, Agostino

DOVIER, Agostino  

DMIF - DIPARTIMENTO DI SCIENZE MATEMATICHE, INFORMATICHE E FISICHE  

Mostra records
Risultati 1 - 20 di 180 (tempo di esecuzione: 0.026 secondi).
Titolo Data di pubblicazione Autore(i) File
2D object reconstruction with ASP 1-gen-2018 Dal Palu, A.; Dovier, A.; Formisano, A.
3coSoKu and its declarative modeling 1-gen-2022 Rizzo, N.; Dovier, A.
A 25 Year Perspective on Logic Programming. Achievements of the Italian Association for Logic Programming, GULP 1-gen-2010 Dovier, Agostino; Enrico, Pontelli
A comparison of CLP(FD) and ASP solutions to NP-complete problems 1-gen-2005 Dovier, Agostino; Formisano, A.; Pontelli, E.
A constraint solver for discrete lattices, its parallelization, and application to protein structure prediction 1-gen-2007 DAL PALU', A.; Dovier, A; Pontelli, E.
A Constraint Solver for Flexible Protein Models 1-gen-2013 Campeotto, Federico; Dal Palù, A.; Dovier, Agostino; Fioretto, Ferdinando; Pontelli, E.
A declarative concurrent system for protein structure prediction on GPU 1-gen-2015 Campeotto, Federico; Dovier, Agostino; Pontelli, Enrico
A Fast Bisimulation Algorithm 1-gen-2001 Dovier, Agostino; Piazza, Carla; Policriti, Alberto
A Filtering Technique for Fragment Assembly-based Proteins Loop Modeling with Constraints. 1-gen-2012 Campeotto, Federico; A., Dal Palu'; Dovier, Agostino; Fioretto, Ferdinando; E., Pontelli
A GPU Implementation of Large Neighborhood Search for Solving Constraint Optimization Problems. 1-gen-2014 Campeotto, Federico; Dovier, Agostino; Fioretto, Ferdinando; Enrico, Pontelli
A GPU implementation of the ASP computation 1-gen-2016 Dovier, Agostino; Formisano, Andrea; Pontelli, Enrico; Vella, Flavio
A hybrid approach mixing local search and constraint programming applied to the protein structure prediction problem 1-gen-2008 Cipriano, Raffaele; DAL PALU', Alessandro; Dovier, Agostino
A Hybrid Solver for Large Neighborhood Search: Mixing Gecode and EasyLocal++ 1-gen-2009 Cipriano, Raffaele; DI GASPERO, Luca; Dovier, Agostino
A hybrid solver for large neighborhood search: Mixing Gecode and EasyLocal++ 1-gen-2009 Cipriano, Raffaele; DI GASPERO, Luca; Dovier, Agostino
A Java visual simulator of turing machines 1-gen-2020 Burigana, A.; de Martino, F.; Dovier, A.
A language with Finite Sets embedded in the CLP-scheme 1-gen-1993 Dovier, Agostino
A Minimality Study for Set Unification 1-gen-1998 Puri Arenas, Sanchez; Dovier, Agostino
A multi-paradigm tool for large neighborhood search 1-gen-2013 Cipriano, Raffaele; DI GASPERO, Luca; Dovier, Agostino
A Necessary Condition for Constructive Negation in Constraint Logic Programming 1-gen-2000 Dovier, Agostino; Pontelli, E.; Rossi, G.
A New Constraint Solver for 3D Lattices and Its Application to the Protein Folding Problem 1-gen-2005 A., DAL PALU'; Dovier, Agostino; E., Pontelli