2012

Pulina, Luca and Tacchella, Armando (2012) Challenging SMT solvers to verify neural networks. AI Communications, Vol. 25 (2), p. 117-135. eISSN 1875-8452. Article.

Maratea, Marco and Pulina, Luca (2012) Solving disjunctive temporal problems with preferences using maximum satisfiability. AI Communications, Vol. 25 (2), p. 137-156. eISSN 1875-8452. Article.

2010

Pulina, Luca (2010) Engineering portfolios of Machine Learning algorithms to solve complex tasks in robotics and automated reasoning. AI Communications, Vol. 23 (1), p. 61-63. eISSN 1875-8452. Article.

2009

Narizzano, Massimo and Peschiera, Claudia and Pulina, Luca and Tacchella, Armando (2009) Evaluating and certifying QBFs: a comparison of state-of-the-art tools. AI Communications, Vol. 22 (4), p. 191-210. eISSN 1875-8452. Article.