Agostino Dovier had the honor and pleasure of giving an invited talk to the joint conferences SAT/ICLP/CP in Melbourne.
Here there are all the slides:
-
Recent Posts
- AI Act School September 13, 2024
- Constraint Propagation on GPU: A Case Study for the Cumulative Constraint. August 27, 2024
- Progetto PNRR May 23, 2024
- Constraint propagation on GPU: A case study for the AllDifferent constraint February 2, 2024
- A tutto bit September 20, 2023
- CILC 2023 July 17, 2023
- AIxIA 2022 December 22, 2022
- Tesi in trasferta September 20, 2022
- Doppio risultato del CLPLAB July 4, 2022
- Intervento a RADIO 24 June 24, 2022
- Presentazione risultati May 6, 2022
- AI4HRC Worskhop March 28, 2022
- Ferdinando Fioretto vince il Mario Gerla Award December 9, 2021
- Official visits in the new lab October 14, 2021
- New Project February 22, 2021