Archivi per tag: SAT 2012

Oltre 130 ricercatori provenienti da tutto il mondo arriveranno a Trento domenica 17 giugno per partecipare al convegno SAT 2012 (Theory and Applications of Satisfiability Testing)

Leggi tutto »