UniCa UniCa News Avvisi Seminario - Decision Procedures in SAT and SMT: from basics to applications

Seminario - Decision Procedures in SAT and SMT: from basics to applications

Autore dell'avviso: Dipartimento di Matematica e informatica

26 marzo 2025
26/03/2025 (aula III, ore 15:00): “Decision Procedures in SAT and SMT: from basics to applications.”, Enrico Lipparini, Università di Cagliari, (seminario del ciclo Seminari ALOPHIS).

---

26/03/2025 (aula III, ore 15:00): “Decision Procedures in SAT and SMT: from basics to applications.”, Enrico Lipparini, Università di Cagliari, (seminario del ciclo Seminari ALOPHIS).

Ultimi avvisi

Vedi tutti gli avvisi

Questionario e social

Condividi su:
Impostazioni cookie