Invited talk in Melbourne

Agostino Dovier had the honor and pleasure of giving an invited talk to the joint conferences SAT/ICLP/CP in Melbourne.

IMG_2754_BIS

Here there are all the slides:

DOVIER_CPSATICLP2017

This entry was posted in Uncategorized. Bookmark the permalink.

Comments are closed.