titoli, abstracts, parole chiave >>>
Browse by Journal
Up a level
Export as [feed] RSS 2.0 [feed] RSS 1.0 [feed] Atom
Group by: Date | Creators
Jump to: M | N | P
Number of items: 4.


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.


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.


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.

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.

This list was generated on Wed Jan 29 09:50:01 2020 CET.