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