( en | de | ru )

 

Disambiguation of "Dovier, Agostino"

Author of the publication

copydeleteadd this publication to your clipboard
Optimal Placement of Acoustic Sources in a Built-up Area using CLP(FD).

, , , , and . APPIA-GULP-PRODE, page 139-154. Facultad de Informática, Universidad Politécnica de Madrid, (2002)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Agostino Mazziotta

Agostino Sottili

Agostino Portera

Mario Agostino Rocca

Giuseppe Agostino Aronica

 

Other publications of authors with the same name

A necessary condition for Constructive Negation in Constraint Logic Programming., , and . Inf. Process. Lett., 74 (3-4): 147-156 (2000)A Fast Bisimulation Algorithm., , and . CAV, volume 2102 of Lecture Notes in Computer Science, page 79-90. Springer, (2001)A New Constraint Solver for 3D Lattices and Its Application to the Protein Folding Problem., , and . LPAR, volume 3835 of Lecture Notes in Computer Science, page 48-63. Springer, (2005)A Filtering Technique for Fragment Assembly- Based Proteins Loop Modeling with Constraints., , , , and . CP, volume 7514 of Lecture Notes in Computer Science, page 850-866. Springer, (2012)Multiset Constraints and P Systems., , and . WMP, volume 2235 of Lecture Notes in Computer Science, page 103-122. Springer, (2000)Answer Set Programming with Constraints Using Lazy Grounding., , , and . ICLP, volume 5649 of Lecture Notes in Computer Science, page 115-129. Springer, (2009)A GPU Implementation of the ASP Computation., , , and . PADL, volume 9585 of Lecture Notes in Computer Science, page 30-47. Springer, (2016)Multivalued Action Languages with Constraints in CLP(FD)., , and . ICLP, volume 4670 of Lecture Notes in Computer Science, page 255-270. Springer, (2007)Disunification in ACI1 Theories., , and . Constraints An Int. J., 9 (1): 35-91 (2004)Towards a Logic Programming Tool for Cancer Analysis., , and . ICTCS/CILC, volume 1949 of CEUR Workshop Proceedings, page 361-375. CEUR-WS.org, (2017)